( en | de | ru )

 

Disambiguation of "Aichernig, Bernhard K."

Author of the publication

copydeleteadd this publication to your clipboard
MoMut: : UML Model-Based Mutation Testing for UML.

, , , , , and . ICST, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Aman K K Bhasin

K Kusterer

K Abeyratne

K Schweizerhof

K Schaber

 

Other publications of authors with the same name

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles., , , , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 293-310. Springer, (2017)Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation.. Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 23-36. Springer, (2013)Conformance Testing of Hybrid Systems with Qualitative Reasoning Models., , and . MBT@ETAPS, volume 253 of Electronic Notes in Theoretical Computer Science, page 53-69. Elsevier, (2009)Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking, and . MBT, volume 80 of EPTCS, page 88-102. (2012)Time for Mutants - Model-Based Mutation Testing with Timed Automata., , and . TAP, volume 7942 of Lecture Notes in Computer Science, page 20-38. Springer, (2013)Scalable Incremental Test-case Generation from Large Behavior Models., , and . TAP, volume 9154 of Lecture Notes in Computer Science, page 1-18. Springer, (2015)The Science of Killing Bugs in a Black Box - (Keynote Talk).. SBLP, volume 7554 of Lecture Notes in Computer Science, page 6-11. Springer, (2012)Modeling and Testing Multi-Threaded Asynchronous Systems with Creol., , , and . TTSS, volume 243 of Electronic Notes in Theoretical Computer Science, page 3-14. Elsevier, (2008)Resource Modeling for Timed Creol Models., , , and . TTSS, volume 266 of Electronic Notes in Theoretical Computer Science, page 63-75. Elsevier, (2009)Automata Learning for Symbolic Execution., , , , and . FMCAD, page 1-9. IEEE, (2018)