1. Ammann, P., Black, P.E., Majurski, W.: Using Model Checking to Generate Tests from Specifications. In: ICFEM, pp. 46–54 (1998)
2. Ammann, P., Black, P.E., Ding, W.: Model Checkers in Software Testing. NIST-IR 6777, National Institute of Standards and Technology (2002)
3. Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)
4. Belli, F.: Finite-State Testing and Analysis of Graphical User Interfaces. In: Proc. 12th ISSRE, pp. 34–43. IEEE Computer Society Press, Los Alamitos (2001)
5. Binder, R.V.: Testing Object-Oriented Systems. Addison-Wesley, Reading (2000)