( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Based Mutation Testing of an Industrial Measurement Device.

, , , , , , и . TAP@STAF, том 8570 из Lecture Notes in Computer Science, стр. 1-19. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Aman K K Bhasin

K Böhm

K Schweizerhof

K Schaber

K Beheng

 

Другие публикации лиц с тем же именем

The Science of Killing Bugs in a Black Box - (Keynote Talk).. SBLP, том 7554 из Lecture Notes in Computer Science, стр. 6-11. Springer, (2012)Time for Mutants - Model-Based Mutation Testing with Timed Automata., , и . TAP, том 7942 из Lecture Notes in Computer Science, стр. 20-38. Springer, (2013)Scalable Incremental Test-case Generation from Large Behavior Models., , и . TAP, том 9154 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2015)Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking, и . MBT, том 80 из EPTCS, стр. 88-102. (2012)Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles., , , , и . ICTSS, том 10533 из Lecture Notes in Computer Science, стр. 293-310. Springer, (2017)Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation.. Theories of Programming and Formal Methods, том 8051 из Lecture Notes in Computer Science, стр. 23-36. Springer, (2013)Conformance Testing of Hybrid Systems with Qualitative Reasoning Models., , и . MBT@ETAPS, том 253 из Electronic Notes in Theoretical Computer Science, стр. 53-69. Elsevier, (2009)Formal Test-Driven Development with Verified Test Cases., , и . MODELSWARD, стр. 626-635. SciTePress, (2014)On-the-Fly Determinization of Bounded Networks of Timed Automata., и . TASE, стр. 14-21. IEEE Computer Society, (2016)Integrating Model-Based Testing and Analysis Tools via Test Case Exchange., , и . TASE, стр. 119-126. IEEE Computer Society, (2012)