1. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
2. Introduction to Software Testing;Ammann,2017
3. Model-based testing: where does it stand?;Binder;Commun. ACM,2015
4. A systematic literature review of the use of formal methods in medical software systems;Bonfanti;J. Softw.: Evol. Process.,2018
5. N-complete test suites for IOCO;Bos;Softw. Qual. J.,2019