Krenn, W, Schlick, R, Tiran, S, Aichernig, B, Jöbstl, E & Brandl, H 2015, MoMut::UML model-based mutation testing for UML. in 2015 IEEE 8th International Conference on Software Testing, Verification and Validation, ICST 2015 - Proceedings., 7102627, Institute of Electrical and Electronics Engineers Inc., Graz, 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Österreich, 13/04/15. https://doi.org/10.1109/ICST.2015.7102627

Aichernig, B, Nickovic, D & Tiran, S 2015, Scalable Incremental Test-case Generation from Large Behavior Models. in JC Blanchette & N Kosmatov (Hrsg.), Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 22-24, 2015. Springer, Cham, Lecture Notes in Computer Science, Bd. 9154, S. 1-18, International Conference on Tests And Proofs, L'Aquila, Italien, 22/07/15. https://doi.org/978-3-319-21215-9_1