Author:
Briones Laura Brandán,Brinksma Ed
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Belinfante, A., Feenstra, J., de Vries, R., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Int. Workshop on Testing of Communicating Systems, vol. 12, pp. 179–196. Kluwer, Dordrecht (1999)
2. Lecture Notes in Computer Science;B. Nielsen,2001
3. Clarke, D., Lee, I.: Automatic test generation for the analysis of a real-time system: Case study. In: IEEE Real Time Technology and Applications Symp., pp. 112–124 (1997)
4. Dill, D.: Timing assumptions and verification of finite-state concurrent systems. In: Proceedings of the int. workshop on Automatic verification methods for finite state systems, pp. 197–212. Springer, New York (1990)
5. Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real-time systems from logic specifications. TOCS 13(4), 365–398 (1995)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献