Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution | IEEE Conference Publication | IEEE Xplore