| 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 | 98 | 2014 |
| 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 | 89* | 2015 |
| Model-based mutation testing via symbolic refinement checking BK Aichernig, E Jöbstl, S Tiran Science of Computer Programming 97, 383-404, 2015 | 39 | 2015 |
| 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 | 32 | 2014 |
| 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 | 28 | 2017 |
| Formal Test-Driven Development with Verified Test Cases BK Aichernig, F Lorber, S Tiran 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 12 | 2014 |
| 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 | 6 | 2012 |
| Scalable Incremental Test-case Generation from Large Behavior Models BK Aichernig, D Nickovic, S Tiran TAP 2015 9154, 1-18, 2015 | 5 | 2015 |
| On the Effects of UML Modeling Styles in Model-based Mutation Testing S Tiran Graz, University of Technology, 2013 | 5 | 2013 |
| The Argos Manual S Tiran ., 2012 | 4 | 2012 |
| 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 | 1 | 2019 |
| Incremental model-based mutation testing S Tiran 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 1 | 2015 |
| 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 |
| TASE 2012 Additional Reviewers A Costea, A Edmunds, A Vulgarakis, A Karna, AS Fathabadi, BY Wang, ... | | |
Bernhard AichernigGraz Univ. of Technology (TU Graz)E-mailová adresa ověřena na: ist.tugraz.at
