| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 2,849 of 2,852 | 0% | 271 of 271 | 0% | 234 | 235 | 514 | 515 | 79 | 80 | 2 | 3 |
| ReqSpecSyntacticSequencer.java | | 0% | | 0% | 112 | 112 | 275 | 275 | 57 | 57 | 1 | 1 |
| ReqSpecSemanticSequencer.java | | 0% | | 0% | 115 | 115 | 199 | 199 | 21 | 21 | 1 | 1 |
| ReqSpecCrossReferenceSerializer.java | | 2% | | 0% | 7 | 8 | 40 | 41 | 1 | 2 | 0 | 1 |