Stefan Tiran

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