B.K. Aichernig, H. Brandl, E. Jöbstl, W. Krenn, R. Schlick & S. Tiran (2015):
Killing Strategies for Model-based Mutation Testing.
Softw. Test. Verif. Reliab. 25(8),
pp. 716–748,
doi:10.1002/stvr.1522.
B.K. Aichernig, K. Hörmaier & F. Lorber (2014):
Debugging with Timed Automata Mutations.
In: A. Bondavalli & F. Di Giandomenico: Computer Safety, Reliability, and Security.
Springer International Publishing,
Cham,
pp. 49–64,
doi:10.1007/978-3-319-10506-2_4.
B.K. Aichernig, F. Lorber & D. Ničkovi\'c (2013):
Time for Mutants — Model-Based Mutation Testing with Timed Automata.
In: M. Veanes & L. Viganò: Tests and Proofs.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 20–38,
doi:10.1007/978-3-642-38916-0_2.
M. van der Bijl, A. Rensink & J. Tretmans (2004):
Compositional Testing with ioco.
In: A. Petrenko & A. Ulrich: Formal Approaches to Software Testing.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 86–100,
doi:10.1007/978-3-540-24617-6_7.
A. David, K.G. Larsen, A. Legay, M.H. Møller, U. Nyman, A.P. Ravn, A. Skou & A. Wąsowski (2012):
Compositional verification of real-time systems using Ecdar.
International Journal on Software Tools for Technology Transfer 14(6),
pp. 703–720,
doi:10.1007/s10009-012-0237-y.
A. David, K.G. Larsen, A. Legay, U. Nyman & A. Wąsowski (2010):
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.
In: A. Bouajjani & W. Chin: Automated Technology for Verification and Analysis.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 365–370,
doi:10.1007/978-3-642-15643-4_29.
A. David, K.G. Larsen, A. Legay, U. Nyman & A. Wasowski (2010):
Timed I/O Automata: A Complete Specification Theory for Real-time Systems.
In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control,
HSCC '10.
ACM,
New York, NY, USA,
pp. 91–100,
doi:10.1145/1755952.1755967.
X. Devroey, G. Perrouin, M. Papadakis, A. Legay, P. Schobbens & P. Heymans (2016):
Featured Model-based Mutation Analysis.
In: Proceedings of the 38th International Conference on Software Engineering,
ICSE '16.
ACM,
New York, NY, USA,
pp. 655–666,
doi:10.1145/2884781.2884821.
A. Hessel, K.G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson & A. Skou (2008):
Testing Real-Time Systems Using UPPAAL,
pp. 77–117.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-540-78917-8_3.
A. Hessel & P. Pettersson (2007):
Cover-a test-case generation tool for timed systems.
Available at http://hessel.nu/CoVer/.
R.M. Hierons & M.G. Merayo (2007):
Mutation Testing from Probabilistic Finite State Machines.
In: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007),
pp. 141–150,
doi:10.1109/TAIC.PART.2007.20.
Y. Jia & M. Harman (2011):
An Analysis and Survey of the Development of Mutation Testing.
IEEE Transactions on Software Engineering 37(5),
pp. 649–678,
doi:10.1109/TSE.2010.62.
J.H. Kim, K.G. Larsen, B. Nielsen, M. Mikučionis & P. Olsen (2015):
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.
In: M. Núñez & M. Güdemann: Formal Methods for Industrial Critical Systems.
Springer International Publishing,
Cham,
pp. 47–61,
doi:10.1007/978-3-319-19458-5_4.
K.G. Larsen, F. Lorber, B. Nielsen & U.M. Nyman (2017):
Mutation-Based Test-Case Generation with Ecdar.
In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
pp. 319–328,
doi:10.1109/ICSTW.2017.60.
F. Lorber, K.G. Larsen & B. Nielsen (2018):
Model-Based Mutation Testing of Real-Time Systems via Model Checking.
In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
pp. 59–68,
doi:10.1109/ICSTW.2018.00029.
Object Management Group (2015):
OMG Unified Modeling Language.
http://www.omg.org/spec/UML/2.5/PDF.
J. Tretmans (2008):
Model Based Testing with Labelled Transition Systems,
pp. 1–38.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-540-78917-8_1.