QR-Model Based Testing. - Harald Brandl; Gordon Fraser 001; Franz Wotawa (AST, 2008)

Test Case Generation from QR Models. - Harald Brandl; Franz Wotawa (IEA/AIE, 2008)

Coverage-based Testing Using Qualitative Reasoning Models. - Harald Brandl; Gordon Fraser 001; Franz Wotawa (SEKE, 2008)

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

Qualitative Action Systems. - Bernhard K. Aichernig; Harald Brandl; Willibald Krenn (ICFEM, 2009)

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. - Bernhard K. Aichernig; Harald Brandl; Franz Wotawa (MBT@ETAPS, 2009)

Automated Conformance Verification of Hybrid Systems. - Harald Brandl; Martin Weiglhofer; Bernhard K. Aichernig (QSIC, 2010)

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems. - Wolfgang Herzner; Rupert Schlick; Werner Schütz; Harald Brandl; Willibald Krenn (Elektrotech. Informationstechnik, 2010)

Efficient Mutation Killers in Action. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (ICST, 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 Fault-based Generation of Test Cases for Dependable Embedded Software. - Wolfgang Herzner; Rupert Schlick; Harald Brandl; Johannes Wiessalla (Softwaretechnik-Trends, 2011)

Model Dependent Test Coverage Variabilities. - Christian Schwarzl; Harald Brandl (ICST, 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)

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)