1. ~B1RI) D AND MUNOZ C. 1982. Automatic generation of random self-checking test cases. ~IBM ~(vst. J. 22 3 229-245. 10.1147/sj.223.0229 ~B1RI) D AND MUNOZ C. 1982. Automatic generation of random self-checking test cases. ~IBM ~(vst. J. 22 3 229-245. 10.1147/sj.223.0229
2. ~BoYER R. ELSPAS B. AND LEVITT K. 1975. SELECT--A formal system for testing and ~debugging programs by symbolic execution. SIGPLAN Not. 10. 6 IJunet 234-245. 10.1145/390016.808445 ~BoYER R. ELSPAS B. AND LEVITT K. 1975. SELECT--A formal system for testing and ~debugging programs by symbolic execution. SIGPLAN Not. 10. 6 IJunet 234-245. 10.1145/390016.808445
3. ~CLANKS:. L 1976. A system to generate test data and symbolically execute programs. IEEE ~Trans. Softw. Eng. 2. 3 215-222. ~CLANKS:. L 1976. A system to generate test data and symbolically execute programs. IEEE ~Trans. Softw. Eng. 2. 3 215-222.
4. ~CLARKE L. 1979. Automatic test data selection techniques. Infotech State of the Art Report ~on Software Testing Infotech International. Sept. ~CLARKE L. 1979. Automatic test data selection techniques. Infotech State of the Art Report ~on Software Testing Infotech International. Sept.