A symbolic Java virtual machine for test case generation
暂无分享,去创建一个
[1] Mary Lou Soffa,et al. Generating test data for branch coverage , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[2] C. V. Ramamoorthy,et al. On the Automated Generation of Program Test Data , 1976, IEEE Transactions on Software Engineering.
[3] Herbert Kuchen,et al. GlassTT - A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation , 2003 .
[4] Boris Beizer,et al. Software Testing Techniques , 1983 .
[5] Jon Edvardsson,et al. A Survey on Automatic Test Data Generation , 2002 .
[6] Rita Loogen,et al. Graph-based Implementation of a Functional Logic Langugage , 1990, ESOP.
[7] Arnaud Gotlieb,et al. Automatic test data generation using constraint solving techniques , 1998, ISSTA '98.
[8] Roy P. Pargas,et al. Test-Data Generation Using Genetic Algorithms , 1999, Softw. Test. Verification Reliab..
[9] Saurabh Sinha,et al. Criteria for testing exception-handling constructs in Java programs , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).
[10] Giuliano Antoniol,et al. Automatic unit test data generation using mixed-integer linear programming and execution trees , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).
[11] A. Jefferson Offutt,et al. Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..
[12] Bogdan Korel,et al. Automated test data generation for programs with procedures , 1996, ISSTA '96.