Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. - Bernhard K. Aichernig; Florian Lorber; Stefan Tiran (TASE, 2012)

Formal Test-Driven Development with Verified Test Cases. - Bernhard K. Aichernig; Florian Lorber; Stefan Tiran (MODELSWARD, 2014)

Integration of Requirements Engineering and Test-Case Generation via OSLC. - Bernhard K. Aichernig; Klaus Hörmaier; Florian Lorber; Dejan Nickovic; Rupert Schlick; Didier Simoneau; Stefan Tiran (QSIC, 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)

Incremental Model-Based Mutation Testing. - Stefan Tiran (ICST, 2015)

Scalable Incremental Test-case Generation from Large Behavior Models. - Bernhard K. Aichernig; Dejan Nickovic; Stefan Tiran (TAP@STAF, 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)

Require, test, and trace IT. - Bernhard K. Aichernig; Klaus Hörmaier; Florian Lorber; Dejan Nickovic; Stefan Tiran (Int. J. Softw. Tools Technol. Transf., 2017)

Programming Behavioral Test Models for SMT Solving in Scala. - Bernhard K. Aichernig; Benedikt Maderbacher; Stefan Tiran (ICST Workshops, 2019)