2International Software Testing Qualifications Board. ISTQB standard glossary of terms used in software testing (V1.1) [S]. 2006.
3FLANAGAN C, LEINO K R M, LILLIBRIDGE M, et al. Extended static checking for Java[ C]// Proceedings of the 2002 ACM SIGP- LAN Conference on Programming Language Design and Implementation. New York: ACM Press, 2002:234-245.
4HOVEMEYER D, PUGH W. Finding bugs is easy[ C]//Companion to the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications. New York: ACM Press, 2004: 132-136.