Stefan Tiran
Stefan Tiran
Verified email at ist.tugraz.at - Homepage
Title
Cited by
Cited by
Year
Killing strategies for model-based mutation testing
BK Aichernig, H Brandl, E Jöbstl, W Krenn, R Schlick, S Tiran
Software Testing, Verification and Reliability, 2014
582014
MoMuT::UML - model-based mutation testing for UML
BK Aichernig, H Brandl, E Jöbstl, W Krenn, R Schlick, S Tiran
IEEE 8th Int. Conf. on Software Testing, Verification and Validation, 2015
47*2015
Model-based mutation testing via symbolic refinement checking
BK Aichernig, E Jöbstl, S Tiran
Science of Computer Programming 97, 383-404, 2015
312015
Integration of Requirements Engineering and Test-Case Generation via OSLC
BK Aichernig, K Hörmaier, F Lorber, D Nickovic, R Schlick, D Simoneau, ...
14th International Conference on Quality Software, 117-126, 2014
212014
Require, test, and trace IT
BK Aichernig, K Hörmaier, F Lorber, D Ničković, S Tiran
International journal on software tools for technology transfer 19 (4), 409-426, 2017
152017
Formal Test-Driven Development with Verified Test Cases
BK Aichernig, F Lorber, S Tiran
2nd International Conference on Model-Driven Engineering and Software …, 2014
72014
Scalable Incremental Test-case Generation from Large Behavior Models
BK Aichernig, D Nickovic, S Tiran
TAP 2015 9154, 1-18, 2015
42015
On the Effects of UML Modeling Styles in Model-based Mutation Testing
S Tiran
Graz, University of Technology, 2013
42013
Integrating model-based testing and analysis tools via test case exchange
BK Aichernig, F Lorber, S Tiran
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
42012
The Argos Manual
S Tiran
Institute for Software Technology, Tech. Rep. IST-MBT-2012–01, 2012
32012
Programming behavioral test models for SMT solving in Scala
BK Aichernig, B Maderbacher, S Tiran
2019 IEEE International Conference on Software Testing, Verification and …, 2019
12019
Incremental model-based mutation testing
S Tiran
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
12015
Scalable Incremental Test-case Generation from Large Behavior Models"}}
S Tiran, B Aichernig, F Lorber, S Tiran, B Aichernig, FL Lorber, S Tiran, ...
TAP'15 25 (Part 4), 716-748, 2015
2015
Require, Test and Trace IT
FL Lorber, B Aichernig, S Tiran, D Nickovic
., 2014
2014
href {../abstracts/IST-MBT-2014-03/index. html}{{Require, Test and Trace IT}}
BK Aichernig, B Aichernig, B Aichernig, A Griesmayer, R Schlatte, ...
Tests and Proofs 2757, 119-126, 2012
2012
On the E ects of UML Modeling Styles in Model-based Mutation Testing
S Tiran
TASE 2012 Additional Reviewers
A Costea, A Edmunds, A Vulgarakis, A Karna, AS Fathabadi, BY Wang, ...
The system can't perform the operation now. Try again later.
Articles 1–17