3Tassey G. The economic impacts of inadequate infrastructure for software testing. Gaithershurg National. Institute of Standards and Technology, Planning Report 02-3, 2002.
4Sipser M. Introduction to the Theory of Computation. Boston, USA: Thomson Course Technology, 2006.
5Hoare C A R. An axiomatic approach to computer program- ming. Communications of the ACM, 1969, 12(10) : 576-580.
6Godefroid P, Klarlund N, Sen K. DART: Directed automated random testing//Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, USA, 2005:213-223.
7Ball T, Cook B, Levin V, Rajamani S K. SLAM and static driver verifierz Technology transfer of formal methods inside Microsoft//Proceedings of the Integrated Formal Methods. Canterbury, England, 2004, 1-20.
8Korel B. A dynamic approach of test data generation// Proceedings of the IEEE Conference on Software Maintenance (ICSM). San Diego, USA, 1990.. 311-317.
9Korel B. Automated software test data generation. IEEE Transactions on Software Engineering, 1990, 16(8): 870-879.
10Edvardsson J. A survey on automatic test data generation// Proceedings of the 2nd Conference on Computer Science and Engineering. Link6ping, Sweden, 1999: 21-28.
