Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution.

Rong Wang, Shaoying Liu

Browse the full QRS paper archive.