Stefan Tiran‘s Publications

This list is also available as BiBTeX file.
[1]
Bernhard K. Aichernig, Dejan Ničković, and Stefan Tiran. "Scalable Incremental Test-case Generation from Large Behavior Models". In TAP'15, volume 9154 of Lecture Notes in Computer Science, pages 1--18. Springer, 2015. In press. [ bib ]
[2]
Stefan Tiran. Incremental Model-Based Mutation Testing. In IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015. [ bib | DOI ]
[3]
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, and Stefan Tiran. "Require, Test and Trace IT". In FMICS'15, volume 9128 of Lecture Notes in Computer Science, pages 113--127. Springer, 2015. In press. [ bib ]
[4]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. MoMuT::UML - model-based mutation testing for UML. In IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015. [ bib | DOI | .pdf ]
[5]
Bernhard K. Aichernig, Elisabeth Jöbstl, and Stefan Tiran. Model-based mutation testing via symbolic refinement checking. Science of Computer Programming, 97, Part 4(0):383--404, 2015. Special Issue: Selected Papers from the 12th International Conference on Quality Software (QSIC 2012). [ bib | DOI ]
[6]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. Killing strategies for model-based mutation testing. Software Testing, Verification and Reliability, 25(8):716--748, 2015. [ bib | DOI ]
[7]
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Rupert Schlick, Didier Simoneau, and Stefan Tiran. Integration of Requirements Engineering and Test-Case Generation via OSLC. In QSIC '14: Proceedings of the 2014 14th International Conference on Quality Software, pages 117--126, Dallas, USA, 2014. IEEE Computer Society. [ bib | DOI ]
[8]
Bernhard K. Aichernig, Florian Lorber, Dejan Ničković, and Stefan Tiran. Require, Test and Trace IT. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2014. [ bib | http ]
[9]
Bernhard Aichernig, Florian Lukas Lorber, and Stefan Tiran. Formal Test-Driven Development with Verified Test Cases. In Joaquim Filipe Luis Ferreira Pires, Slimane Hammoudi and Rui César das Neves, editors, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, pages 626--635, Lisbon, January 2014. SCITEPRESS - Science and Technology Publications. [ bib | DOI ]
[10]
Stefan Tiran. On the Effects of UML Modeling Styles in Model-based Mutation Testing. Master thesis, Graz, University of Technology, 2013. [ bib | http ]
[11]
Bernhard Aichernig, Florian Lukas Lorber, and Stefan Tiran. Integrating model-based testing and analysis tools via test case exchange. In IEEE Computer Society, editor, Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pages 119--126. IEEE Computer Society, July 2012. [ bib | DOI ]
[12]
Bernhard Aichernig, Florian Lorber, and Stefan Tiran. Formal Test-Driven Development with Verified Test Cases. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2012. [ bib | http ]
[13]
Stefan Tiran. The Argos Manual. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2012. [ bib | http ]

This file was generated by bibtex2html 1.98.