( en | de | ru )

 

Disambiguation of "Aichernig, Bernhard K."

Author of the publication

copydeleteadd this publication to your clipboard
Automata Learning for Symbolic Execution.

, , , , and . FMCAD, page 1-9. IEEE, (2018)

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 Böhm

K Schweizerhof

K Schaber

K Beheng

 

Other publications of authors with the same name

Formal Test-Driven Development with Verified Test Cases., , and . MODELSWARD, page 626-635. SciTePress, (2014)On-the-Fly Determinization of Bounded Networks of Timed Automata., and . TASE, page 14-21. IEEE Computer Society, (2016)Integrating Model-Based Testing and Analysis Tools via Test Case Exchange., , and . TASE, page 119-126. IEEE Computer Society, (2012)Generating Distinguishing Tests Using the Minion Constraint Solver., , and . ICST Workshops, page 325-330. IEEE Computer Society, (2010)Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods., , , and . SEFM, page 215-226. IEEE Computer Society, (2007)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)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)