( en | de | ru )

 

Disambiguation of "Aichernig, Bernhard K."

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Mutation Testing of an Industrial Measurement Device.

, , , , , , and . TAP@STAF, volume 8570 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Aman K K Bhasin

K Schaber

K Beheng

K Schweizerhof

K Bier

 

Other publications of authors with the same name

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)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)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)