Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. 2015. Killing Strategies for Model-Based Mutation Testing. Softw. Test. Verif. Reliab. 25, 8 (2015), 716-748. https://doi.org/10.1002/stvr.1522
Bernhard K. Aichernig, Florian Lorber, and Dejan Nickovic. 2013. Time for Mutants: Model-Based Mutation Testing with Timed Automata. In Proceedings of the 7th International Conference on Tests and Proofs (TAP'13) (LNCS, Vol. 7942), Margus Veanes and Luca Viganò (Eds.). Springer, 20-38. https://doi.org/10.1007/978-3-642-38916-0-2
Rajeev Alur and David L. Dill. 1994. A Theory of Timed Automata. Theoret. Comput. Sci. 126, 2 (1994), 183-235. https://doi.org/10.1016/0304-3975(94)90010-8
James H. Andrews, Lionel C. Briand, Yvan Labiche, and Akbar S. Namin. 2006. Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. IEEE Trans. Softw. Eng. 32, 8 (2006), 608-624. https://doi.org/10.1109/TSE.2006.83
Eugene Asarin, Oded Maler, Amir Pnueli, and Joseph Sifakis. 1998. Controller Synthesis for Timed Automata. IFAC Proc. Vol. 31, 18 (1998), 447-452. https://doi.org/10.1016/S1474-6670(17)42032-5 Proceedings of the 5th IFAC Conference on System Structure and Control (SSC'98).
Richard Baker and Ibrahim Habli. 2013. An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software. IEEE Trans. Softw. Eng. 39, 6 (2013), 787-805. https://doi.org/10.1109/TSE.2012.56
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen, and Didier Lime. 2007. UPPAAL-Tiga: Time for Playing Games!. In Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07) (LNCS, Vol. 4590), Werner Damm and Holger Hermanns (Eds.). Springer, 121-125. https://doi.org/10.1007/978-3-540-73368-3-14
Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, and GeorgWeissenbacher. 2009. Mutation-Based Test Case Generation for Simulink Models. In Proceedings of the 8th International Symposium on Formal Methods for Components and Objects (FMCO'09) (LNCS, Vol. 6286), Frank S. De Boer, Marcello M. Bonsangue, Stefan Hallerstede, and Michael Leuschel (Eds.). Springer, 208-227. https://doi.org/10.1007/978-3-642-17071-3-11
Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, and Jean-François Raskin. 2013. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Softw. Eng. 39, 8 (2013), 1069-1089. https://doi.org/10.1109/TSE.2012.86
Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay. 2012. Simulation-based abstractions for software product-line model checking. In 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, Martin Glinz, Gail C. Murphy, and Mauro Pezzè (Eds.). IEEE Computer Society, 672-682. https://doi.org/10.1109/ICSE.2012.6227150
Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, and Louis-Marie Traonouez. 2013. A Framework for the Rigorous Design of Highly Adaptive Timed Systems. In Proceedings of the 1st FMEWorkshop on Formal Methods in Software Engineering (FormaliSE'13). IEEE, 64-70. https://doi.org/10.1109/FormaliSE.2013.6612279
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay. 2012. Behavioural Modelling and Verification of Real-Time Software Product Lines. In Proceedings of the 16th International Software Product Line Conference (SPLC'12). ACM, 66-75. https://doi.org/10.1145/2362536.2362549
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, and Andrzej Wasowski. 2010. Timed I/O Automata: A Complete Specification Theory for Realtime Systems. In Proceedings of the 13th International Conference on Hybrid Systems: Computation and Control (HSCC'10). ACM, 91-100. https://doi.org/10.1145/1755952.1755967
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, and Andrzej Wasowski. 2010. ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. In Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10) (LNCS, Vol. 6252), Ahmed BouajjaniWei-Ngan Chin (Ed.). Springer, 365-370. https://doi.org/10.1007/978-3-642-15643-4-29
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, and Patrick Heymans. 2016. Featured Model-based Mutation Analysis. In Proceedings of the 38th International Conference on Software Engineering (ICSE'16). ACM, 655-666. https://doi.org/10.1145/2884781.2884821
Sandra Fabbri, José C. Maldonado, Tatiana Sugeta, and Paulo C. Masiero. 1999. Mutation testing applied to validate specifications based on statecharts. In Proceedings of the 10th International Symposium on Software Reliability Engineering (ISSRE'99). IEEE, 210-219. https://doi.org/10.1109/ISSRE.1999.809326
Yue Jia and Mark Harman. 2011. An Analysis and Survey of the Development of Mutation Testing. IEEE Trans. Softw. Eng. 37, 5 (2011), 649-678. https://doi.org/10.1109/TSE.2010.62
Kim G. Larsen, Florian Lorber, Brian Nielsen, and Ulrik M. Nyman. 2017. Mutation-Based Test-Case Generation with Ecdar. In Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'17). IEEE, 319-328. https://doi.org/10.1109/ICSTW.2017.60
Kim G. Larsen, Ulrik Nyman, and Andrzej Wasowski. 2007. Modal I/O Automata for Interface and Product Line Theories. In Proceedings of the 16th European Symposium on Programming (ESOP'07) (LNCS, Vol. 4421), Rocco De Nicola (Ed.). Springer, 64-79. https://doi.org/10.1007/978-3-540-71316-6-6
Lech Madeyski, Wojciech Orzeszyna, Richard Torkar, and Mariusz Józala. 2014. Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation. IEEE Trans. Softw. Eng. 40, 1 (2014), 23-42. https://doi.org/10.1109/TSE.2013.44
Jeff Offutt. 2011. A mutation carol: Past, present and future. Inf. Softw. Technol. 53, 10 (2011), 1098-1107. https://doi.org/10.1016/j.infsof.2011.03.007
Mike Papadakis and Nicos Malevris. 2010. An Empirical Evaluation of the First and Second Order Mutation Testing Strategies. In Proceedings of the 3rd International Conference on Software Testing, Verification and Validation Workshops (ICSTW'10). 90-99. https://doi.org/10.1109/ICSTW.2010.50
Maurice H. ter Beek, Sjef van Loo, Erik P. De Vink, and Tim A.C. Willemse. 2020. Family-Based SPL Model Checking Using Parity Games with Variability. In Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE'20) (LNCS, Vol. 12076), Heike Wehrheim and Jordi Cabot (Eds.). Springer, 245-265. https://doi.org/10.1007/978-3-030-45234-6-12
Mark Utting, Alexander Pretschner, and Bruno Legeard. 2012. A Taxonomy of Model-Based Testing Approaches. Softw. Test. Verif. Reliab. 22, 5 (2012), 297-312. https://doi.org/10.1002/stvr.456
ElaineWeyuker, Tarak Goradia, and Ashutosh Singh. 1994. Automatically Generating Test Data from a Boolean Specification. IEEE Trans. Softw. Eng. 20, 5 (1994), 353-363. https://doi.org/10.1109/32.286420
