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