Automatic test generation using checkpoint encoding and antirandom testing.

Huifang Yin, Zemen Lebne-Dengel, Yashwant K. Malaiya

Browse the full ISSRE paper archive.