Towards generation of adaptive test cases from partial models of determinized timed automata
https://ieeexplore.ieee.org/document/7107409/references#references

Reference

M.S. AbouTrab, S. Counsell, and R.M. Hierons. Specification mutation analysis for validating timed testing approaches based on timed automata. In Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th Annual, pages 660–669, July 2012.
Bernhard K. Aichernig, Elisabeth Jöbstl, and Stefan Tiran. Model-based mutation testing via symbolic refinement checking. Science of Computer Programming, 97, Part 4(0): 383–404, 2015. Special Issue: Selected Papers from the 12th International Conference on Quality Software (QSIC 2012).
Bernhard K. Aichernig, Florian Lorber, and Dejan Ničković. Time for mutants - model-based mutation testing with timed automata. In Margus Veanes and Luca Viganò, editors, Tests and Proofs, volume 7942 of LNCS, pages 20–38. Springer Berlin Heidelberg, 2013.
Bernhard K. Aichernig, Martin Weiglhofer, and Franz Wotawa. Improving fault-based conformance testing. Electron. Notes Theor. Comput. Sci., 220 ( 1 ): 63–77, December 2008.
Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126 : 183–235, 1994.
Nathalie Bertrand, Thierry Jron, Amlie Stainer, and Moez Krichen. Off-line test selection with test purposes for non-deterministic timed automata. In ParoshAziz Abdulla and K. Rustan M. Leino, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 6605 of Lecture Notes in Computer Science, pages 96–111. Springer Berlin Heidelberg, 2011.
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, and Brian Nielsen. Testing real-time systems under uncertainty. In Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29—December 1, 2010. Revised Papers, pages 352–371, 2010.
L. de Moura and N. Bjørner, Z3: An efficient smt solver. In Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science, pages 337–340. Springer Berlin Heidelberg, 2008.
Anders Hessel and Paul Pettersson. Cover-a test-case generation tool for timed systems. Testing of Software and Communicating Systems, pages 31–34, 2007.
Moez Krichen and Stavros Tripakis. Conformance testing for real-time systems. Formal Methods in System Design, 34 ( 3 ): 238–304, 2009.
Marius Mikucionis, Brian Nielsen, and Kim G. Larsen. Real-time system testing on-the-fly. In Kaisa Sere and Marina Waldén, editors, the 15th Nordic Workshop on Programming Theory, number 34 in B, pages 36–38, Turku, Finland, October 29–31 2003. Abo Akademi, Department of Computer Science, Finland. Abstracts.
Brian Nielsen and Arne Skou. Automated test generation from timed automata. In Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001, Proceedings, pages 343–357, 2001.
Amnon Rosenmann, Florian Lorber, Dejan Ničković, and Bernhard K. Aichernig. Bounded determinization of timed automata with silent transitions. Technical Report IST-MB T-2015-01, Graz University of Technology, Institute for Software Technology, 2015. Online. https://online.tugraz.at/tug_online/voe_main2.getVollText?pDocumentNr=1003322.
Jan Tretmans. Model based testing with labelled transition systems. In Formal Methods and Testing, pages 1–38, 2008.
Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, and Shanping Li. Are timed automata bad for a specification language? language inclusion checking for timed automata. In Erika brahm and Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 8413 of Lecture Notes in Computer Science, pages 310–325. Springer Berlin Heidelberg, 2014.