How verified (or tested) is my code? Falsification-driven verification and testing

Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney, Josie Holmes
PDF DOI
Type
Journal article
Publication
Autom. Softw. Eng.