@misc{indiciae2aa9faa51f92, title = {(Quickly) Testing the Tester via Path Coverage}, author = {Groce, Alex}, year = {2009}, url = {https://ntrs.nasa.gov/citations/20150008442}, note = {Source identifier: 20150008442} }