Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification.

Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang

Browse the full ISSRE paper archive.