Author:
Nabuco Miguel,Paiva Ana C. R.
Publisher
Springer International Publishing
Reference30 articles.
1. Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 1999), pp. 285–294. ACM, New York (1999)
2. Lecture Notes in Computer Science;J. Dick,1993
3. Katsiri, E., Mycroft, A.: Model checking for sentient computing: an axiomatic approach. In: Proceedings of the First International Workshop on Managing Context Information in Mobile and Pervasive Environments (SME 2005), CEUR-WS, Ayia Napa (May 2005)
4. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of haskell programs. In: Odersky, M., Wadler, P. (eds.) Proc. of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), pp. 268–279. ACM (2000)
5. Mealy, G.H.: A Method for Synthesizing Sequential Circuits. Bell Systems Technical Journal 34, 1045–1079 (1955)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献