Peer-Reviewed
Please find a list of selected publications relevant to MoMuT below. Authors are listed in alphabetical order.
2021
Strong model-based mutation testing PhD Thesis
TU Wien, 2021.
Mutation testing with hyperproperties Journal Article
In: Software and Systems Modeling, vol. 20, 2021, ISSN: 1619-1366.
2020
Systematic Verification and Testing Book Chapter
In: Validation and Verification of Automated Systems - Results of the ENABLE-S3 Project, pp. 89–104, 2020, ISBN: 978-3-030-14627-6.
Language Inclusion for Finite Prime Event Structures Proceedings Article
In: International Conference on Verification, Model Checking, and Abstract Interpretation, 2020, (VMCAI 2020 ; Conference date: 19-01-2020 Through 21-01-2020).
2019
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search Journal Article
In: ACM Transactions on Embedded Computing Systems, vol. 1, no. 18, 2019, ISSN: 1539-9087.
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3 Book Chapter
In: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 97–106, 2019, ISBN: 978-1-7281-4646-1.
2015
MoMuT::UML Model-Based Mutation Testing for UML Proceedings Article
In: Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on, pp. 1-8, 2015.
2014
Compositional Specifications for ioco Testing Proceedings Article
In: Software Testing, Verification and Validation (ICST), Seventh International Conference on, pp. 373-382, 2014.
Killing strategies for model-based mutation testing Journal Article
In: Software Testing, Verification and Reliability, pp. n/a–n/a, 2014, ISSN: 09600833.
Debugging with Timed Automata Mutations Book Section
In: Bondavalli, Andrea; Giandomenico, Felicita Di (Ed.): Computer Safety, Reliability, and Security, vol. 8666, pp. 49-64, Springer International Publishing, 2014, ISBN: 978-3-319-10505-5.
Model-Based Mutation Testing of an Industrial Measurement Device Book Section
In: Seidl, Martina; Tillmann, Nikolai (Ed.): Tests and Proofs, vol. 8570, pp. 1–19, Springer International Publishing, 2014, ISBN: 978-3-319-09098-6.
Model-based mutation testing via symbolic refinement checking Journal Article
In: Science of Computer Programming, 2014.
Integration of Requirements Engineering and Test-Case Generation via OSLC Proceedings Article
In: QSIC '14: Proceedings of the 2014 14th International Conference on Quality Software, pp. 117–126, IEEE Computer Society, Dallas, USA, 2014.
Model-Based Mutation Testing of an Industrial Measurement Device Book Section
In: Seidl, Martina; Tillmann, Nikolai (Ed.): Tests and Proofs, vol. 8570, pp. 1–19, Springer International Publishing, 2014, ISBN: 978-3-319-09098-6.
2013
Incremental Language Inclusion Checking for Networks of Timed Automata Book Section
In: Braberman, Víctor; Fribourg, Laurent (Ed.): Formal Modeling and Analysis of Timed Systems, vol. 8053, pp. 152-167, Springer Berlin Heidelberg, 2013, ISBN: 978-3-642-40228-9.
2010
Mapping UML to Labeled Transition Systems for Test-case Generation: A Translation via Object-oriented Action Systems Proceedings Article
In: Proceedings of the 8th International Conference on Formal Methods for Components and Objects, pp. 186–207, Springer-Verlag, Berlin, Heidelberg, 2010, ISBN: 3-642-17070-6, 978-3-642-17070-6.
2009
Qualitative Action Systems Book Section
In: Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Rangan, C. Pandu; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Breitman, Karin; Cavalcanti, Ana (Ed.): Formal Methods and Software Engineering, vol. 5885, pp. 206–225, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, ISBN: 978-3-642-10372-8, 978-3-642-10373-5.