Model-Based Mutation Testing of Hybrid Systems. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (FMCO, 2009)

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. - Elisabeth Jöbstl; Martin Weiglhofer; Bernhard K. Aichernig; Franz Wotawa (ICST, 2010)

Efficient Mutation Killers in Action. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (ICST, 2011)

Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. - Rupert Schlick; Wolfgang Herzner; Elisabeth Jöbstl (SAFECOMP, 2011)

UML in action: a two-layered interpretation for testing. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (ACM SIGSOFT Softw. Eng. Notes, 2011)

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. - Bernhard K. Aichernig; Elisabeth Jöbstl (ICST, 2012)

Efficient Refinement Checking for Model-Based Mutation Testing. - Bernhard K. Aichernig; Elisabeth Jöbstl (QSIC, 2012)

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking - Bernhard K. Aichernig; Elisabeth Jöbstl (MBT, 2012)

Incremental Refinement Checking for Test Case Generation. - Bernhard K. Aichernig; Elisabeth Jöbstl; Matthias Kegele (TAP@STAF, 2013)

Model-Based Mutation Testing of an Industrial Measurement Device. - Bernhard K. Aichernig; Jakob Auer; Elisabeth Jöbstl; Robert Korosec; Willibald Krenn; Rupert Schlick; Birgit Vera Schmidt (TAP@STAF, 2014)

MoMut: : UML Model-Based Mutation Testing for UML. - Willibald Krenn; Rupert Schlick; Stefan Tiran; Bernhard K. Aichernig; Elisabeth Jöbstl; Harald Brandl (ICST, 2015)

Model-based mutation testing via symbolic refinement checking. - Bernhard K. Aichernig; Elisabeth Jöbstl; Stefan Tiran (Sci. Comput. Program., 2015)

Killing strategies for model-based mutation testing. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn; Rupert Schlick; Stefan Tiran (Softw. Test. Verification Reliab., 2015)

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. - Bernhard K. Aichernig; Elisabeth Jöbstl; Martin Tappler (J. Log. Algebraic Methods Program., 2016)

Learning and statistical model checking of system response times. - Bernhard K. Aichernig; Priska Bauerstätter; Elisabeth Jöbstl; Severin Kann; Robert Korosec; Willibald Krenn; Cristinel Mateis; Rupert Schlick; Richard Schumi (Softw. Qual. J., 2019)