( en | de | ru )

 

Disambiguation of "Aichernig, Bernhard K."

Author of the publication

copydeleteadd this publication to your clipboard
Combining Algebraic and Model-Based Test Case Generation.

, and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 250-264. Springer, (2004)

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 Schaber

K Beheng

K Amann

 

Other publications of authors with the same name

Unifying Input Output Conformance., and . UTP, volume 5713 of Lecture Notes in Computer Science, page 181-201. Springer, (2008)Efficient Refinement Checking for Model-Based Mutation Testing., and . QSIC, page 21-30. IEEE, (2012)Incremental Refinement Checking for Test Case Generation., , and . TAP, volume 7942 of Lecture Notes in Computer Science, page 1-19. Springer, (2013)Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems., , and . FMCO, volume 6286 of Lecture Notes in Computer Science, page 186-207. Springer, (2009)Model-Based Mutation Testing of Hybrid Systems., , , and . FMCO, volume 6286 of Lecture Notes in Computer Science, page 228-249. Springer, (2009)Test purpose generation in an industrial application., , , and . A-MOST, page 115-125. ACM, (2007)Bounded determinization of timed automata with silent transitions., , , and . Real Time Syst., 53 (3): 291-326 (2017)Fault-Based Conformance Testing in Practice., , and . Int. J. Softw. Informatics, 3 (2-3): 375-411 (2009)Property-based testing of web services by deriving properties from business-rule models., and . Softw. Syst. Model., 18 (2): 889-911 (2019)Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation., , and . J. Log. Algebraic Methods Program., 85 (5): 806-823 (2016)