Automatic test generation using checkpoint encoding and antirandom testing. - Huifang Yin; Zemen Lebne-Dengel; Yashwant K. Malaiya (ISSRE, 1997)