( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MoMut: : UML Model-Based Mutation Testing for UML.

, , , , , и . ICST, стр. 1-8. IEEE Computer Society, (2015)

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)Automata Learning for Symbolic Execution., , , , и . FMCAD, стр. 1-9. IEEE, (2018)Modeling and Testing Multi-Threaded Asynchronous Systems with Creol., , , и . TTSS, том 243 из Electronic Notes in Theoretical Computer Science, стр. 3-14. Elsevier, (2008)Resource Modeling for Timed Creol Models., , , и . TTSS, том 266 из Electronic Notes in Theoretical Computer Science, стр. 63-75. Elsevier, (2009)