Automatic test generation using checkpoint encoding and antirandom testing (1997)

by H Yin, Z Lebne-Dengel, Y K Malaiya
Venue:International Symposium on Software Reliability Engineering