A brief aside
A key problem in coverage testing of any sort arises when one learns that specific elements are not covered by your test set
How do you create a new test case that covers some or all of those unexercised elements?
I don’t know of much research that addresses this, although there may be some
- Some work in program slicing might help