PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Aichernig, Bernhard K."

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

K. Stahl

K. Gaiser

K. Lindow

Bernhard Putzer University of Stuttgart

Dr. rer. nat. Bernhard Schulz University of Stuttgart

 

Other publications of authors with the same name

Formal specification techniques as a catalyst in validation., , and . HASE, page 203-206. IEEE Computer Society, (2000)Efficient Mutation Killers in Action., , , and . ICST, page 120-129. IEEE Computer Society, (2011)Test Case Generation by OCL Mutation and Constraint Solving., and . QSIC, page 64-71. IEEE Computer Society, (2005)Requirements Validation of a Voice Communication System Used in Air Traffic Control., and . ICRE, page 190. IEEE Computer Society, (2000)Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas., , and . J. UCS, 7 (8): 629-630 (2001)Combining Algebraic and Model-Based Test Case Generation., and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 250-264. Springer, (2004)Programming Behavioral Test Models for SMT Solving in Scala., , and . ICST Workshops, page 52-60. IEEE, (2019)Probabilistic Black-Box Reachability Checking., and . RV, volume 10548 of Lecture Notes in Computer Science, page 50-67. Springer, (2017)Model-Based Mutation Testing of an Industrial Measurement Device., , , , , , and . TAP, volume 8570 of Lecture Notes in Computer Science, page 1-19. Springer, (2014)Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)., , , , , , , , and . CoRR, (2019)