1. Amla, N., & Ammann, P. (1992). Using Z specifications in category partition testing. In Systems integrity, software safety, and process security: building the right system right: Proceedings of the 7th annual IEEE conference on computer assurance (COMPASS 1992) (pp. 3–10). Los Alamitos, CA: IEEE Computer Society Press.
2. Bache, R., & Müllerburg, M. (1990). Measures of testability as a basis for quality assurance. Software Engineering Journal, 5(2), 86–92.
3. Beizer, B. (1990). Software testing techniques. Van Nostrand Reinhold, New York, NY.
4. Boehm, B. W., & Basili, V. R. (2001). Software defect reduction top 10 list. IEEE Computer, 34(1), 135–137.
5. Briand, L. C. (2007). A critical analysis of empirical research in software testing. In Proceedings of the 1st international symposium on empirical software engineering and measurement (ESEM 2007) (pp. 1–8). Los Alamitos, CA: IEEE Computer Society Press.