Volgen
Stefan Tiran
Stefan Tiran
Geverifieerd e-mailadres voor ist.tugraz.at - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
922014
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
84*2015
Model-based mutation testing via symbolic refinement checking
BK Aichernig, E Jöbstl, S Tiran
Science of Computer Programming 97, 383-404, 2015
382015
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
312014
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, 409-426, 2017
272017
Formal Test-Driven Development with Verified Test Cases
BK Aichernig, F Lorber, S Tiran
2nd International Conference on Model-Driven Engineering and Software …, 2014
122014
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
62012
Scalable Incremental Test-case Generation from Large Behavior Models
BK Aichernig, D Nickovic, S Tiran
TAP 2015 9154, 1-18, 2015
52015
On the Effects of UML Modeling Styles in Model-based Mutation Testing
S Tiran
Graz, University of Technology, 2013
42013
The Argos Manual
S Tiran
., 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
Formal Test-Driven Development with Verified Test Cases
S Tiran, BK Aichernig, F Lorber
MODELSWARD 2014, 2014
2014
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, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–17