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
716–748
10.1002/stvr.1522
B.K. Aichernig
K. Hörmaier
F. Lorber
2014
Debugging with Timed Automata Mutations
A. Bondavalli
F. Di Giandomenico
Computer Safety, Reliability, and Security
Springer International Publishing
Cham
49–64
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
M. Veanes
L. Viganò
Tests and Proofs
Springer Berlin Heidelberg
Berlin, Heidelberg
20–38
10.1007/978-3-642-38916-0_2
M. van der Bijl
A. Rensink
J. Tretmans
2004
Compositional Testing with ioco
A. Petrenko
A. Ulrich
Formal Approaches to Software Testing
Springer Berlin Heidelberg
Berlin, Heidelberg
86–100
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
703–720
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
A. Bouajjani
W. Chin
Automated Technology for Verification and Analysis
Springer Berlin Heidelberg
Berlin, Heidelberg
365–370
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
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control
HSCC '10
ACM
New York, NY, USA
91–100
10.1145/1755952.1755967
X. Devroey
G. Perrouin
M. Papadakis
A. Legay
P. Schobbens
P. Heymans
2016
Featured Model-based Mutation Analysis
Proceedings of the 38th International Conference on Software Engineering
ICSE '16
ACM
New York, NY, USA
655–666
10.1145/2884781.2884821
A. Hessel
K.G. Larsen
M. Mikucionis
B. Nielsen
P. Pettersson
A. Skou
2008
Testing Real-Time Systems Using UPPAAL
77–117
Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-540-78917-8_3
A. Hessel
P. Pettersson
2007
Cover-a test-case generation tool for timed systems
http://hessel.nu/CoVer/
R.M. Hierons
M.G. Merayo
2007
Mutation Testing from Probabilistic Finite State Machines
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
141–150
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
649–678
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
M. Núñez
M. Güdemann
Formal Methods for Industrial Critical Systems
Springer International Publishing
Cham
47–61
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
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
319–328
10.1109/ICSTW.2017.60
F. Lorber
K.G. Larsen
B. Nielsen
2018
Model-Based Mutation Testing of Real-Time Systems via Model Checking
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
59–68
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
1–38
Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-540-78917-8_1