Stefan Tiran

According to our database, Stefan Tiran authored at least 10 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Programming Behavioral Test Models for SMT Solving in Scala.

Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2017

Require, test, and trace IT.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran

Int. J. Softw. Tools Technol. Transf., 2017

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

Model-based mutation testing via symbolic refinement checking.

Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran

Sci. Comput. Program., 2015

Scalable Incremental Test-case Generation from Large Behavior Models.

Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Incremental Model-Based Mutation Testing.

Stefan Tiran

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

MoMut: : UML Model-Based Mutation Testing for UML.

Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

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

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Formal Test-Driven Development with Verified Test Cases.

Bernhard K. Aichernig, Florian Lorber, Stefan Tiran

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2012

Integrating Model-Based Testing and Analysis Tools via Test Case Exchange.

Bernhard K. Aichernig, Florian Lorber, Stefan Tiran

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012