( en | de | ru )

 

Disambiguation of "Aichernig, Bernhard K."

Author of the publication

copydeleteadd this publication to your clipboard
Require, Test and Trace IT.

, , , , and . FMICS, volume 9128 of Lecture Notes in Computer Science, page 113-127. Springer, (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 Schweizerhof

K Amann

K Dugaev

K Pillen

 

Other publications of authors with the same name

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)Automata Learning for Symbolic Execution., , , , and . FMCAD, page 1-9. IEEE, (2018)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)Formal Test-Driven Development with Verified Test Cases., , and . MODELSWARD, page 626-635. SciTePress, (2014)Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking, and . MBT, volume 80 of EPTCS, page 88-102. (2012)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)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)