1. Ammann P, Black P, Majurski W (1998) Using model checking to generate tests from specifications. In: Proceedings of the 2nd IEEE international conference on formal engineering methods, Brisbane, Queensland, Australia, 9–11 December 1998, pp 46–54
2. Binder R (2001) Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, Reading, MA
3. Bourhfir C, Dssouli R, Aboulhamid E (1996) Automatic test generation for EFSM-based systems. Technical Report IRO 1043, University of Montreal, August 1996
4. Brooks F (1986) No silver bullet. In: Proceedings of the 10th IFIP world computing conference, Dublin, Ireland, 1–5 September 1986, pp 1069–1076
5. Bultan T (1998) Automated symbolic analysis of reactive systems. PhD thesis, University of Maryland, College Park, MD