Model-Based Passive Testing of Safety-Critical Components 483
Richardson, D. J., O’Maley, O., and Tittle, C. (1989). Approaches to Specification-Based
Testing. TAV3 Proceedings of the 3
rd
ACM SIGSOFT Symposium on Testing, Analysis
and Verification, Pages: 86–96. ACM Press.
Rombach, D. and Seelisch, F. (2008). Formalisms in Software Engineering—Myths ver-
sus Empirical Facts. Lecture Notes in Computer Science, Volume 5082, Pages: 13–25.
Springer-Verlag.
Salomaa, A. and Rozenberg, G. (1997). Handbook of Formal Languages. Springer-Verlag.
Santos-Neto, P., Resende, R., and P´adua, C. (2007). Requirements for Information Systems
Model-based Testing. SAC’07 Proceedings of the Annual ACM Symposium on Applied
Computing, Pages: 1409–1415. ACM Press.
Shukla, S. K. ...