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
Scalable Incremental Test-case Generation from Large Behavior Models.

, , and . TAP, volume 9154 of Lecture Notes in Computer Science, page 1-18. 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.

K. Stahl

Dr. rer. nat. Bernhard Schulz University of Stuttgart

K. Gaiser

K. Lindow

Bernhard Schopfer University of Stuttgart

 

Other publications of authors with the same name

Test Case Generation by OCL Mutation and Constraint Solving., and . QSIC, page 64-71. IEEE Computer Society, (2005)Formal specification techniques as a catalyst in validation., , and . HASE, page 203-206. 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)Efficient Mutation Killers in Action., , , and . ICST, page 120-129. IEEE Computer Society, (2011)Requirements Validation of a Voice Communication System Used in Air Traffic Control., and . ICRE, page 190. IEEE Computer Society, (2000)UML in action: a two-layered interpretation for testing., , , and . ACM SIGSOFT Software Engineering Notes, 36 (1): 1-8 (2011)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)Require, test, and trace IT., , , , and . STTT, 19 (4): 409-426 (2017)