Stefan Tiran

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 8

Top Topics

Unified Modeling Language

Test Data Generation

Mutation Testing

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran
Programming Behavioral Test Models for SMT Solving in Scala. ICST Workshops (2019)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran
Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. 25 (8) (2015)
Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl
MoMut: : UML Model-Based Mutation Testing for UML. ICST (2015)
Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran
Scalable Incremental Test-case Generation from Large Behavior Models. TAP@STAF (2015)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, Test and Trace IT. FMICS (2015)
Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran
Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. 97 (2015)
Stefan Tiran
Incremental Model-Based Mutation Testing. ICST (2015)
Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
Formal Test-Driven Development with Verified Test Cases. MODELSWARD (2014)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran
Integration of Requirements Engineering and Test-Case Generation via OSLC. QSIC (2014)
Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. TASE (2012)