Stefan Tiran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2012–2019
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICST | Programming Behavioral Test Models for SMT Solving in Scala. | Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran |
| 2015 | FMICS | Require, Test and Trace IT. | Bernhard K. Aichernig, Klaus Hrmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran |
| 2015 | ICST | MoMut: : UML Model-Based Mutation Testing for UML. | Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jbstl, Harald Brandl |
| 2015 | ICST | Incremental Model-Based Mutation Testing. | Stefan Tiran |
| 2015 | TAP | Scalable Incremental Test-case Generation from Large Behavior Models. | Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran |
| 2014 | MODELSWARD | Formal Test-Driven Development with Verified Test Cases. | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |
| 2012 | TASE | Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |