US7930682B2 - Path Coverage Criterion in Specification-Based Testing Based on an Extended Context-Free Grammar-Based Test Specification Model and a New Test Generation Algorithm