References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. A. Hessel & P. Pettersson (2007): Cover-a test-case generation tool for timed systems. Available at http://hessel.nu/CoVer/.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. Object Management Group (2015): OMG Unified Modeling Language. http://www.omg.org/spec/UML/2.5/PDF.
  17. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org