Alex Groce, Iftekhar Ahmed 0001, Carlos Jensen, Paul E. McKenney, Josie Holmes. How verified (or tested) is my code? Falsification-driven verification and testing. Automated Software Engineering, 25(4):917-960, 2018. [doi]
@article{GroceAJMH18,
title = {How verified (or tested) is my code? Falsification-driven verification and testing},
author = {Alex Groce and Iftekhar Ahmed 0001 and Carlos Jensen and Paul E. McKenney and Josie Holmes},
year = {2018},
doi = {10.1007/s10515-018-0240-y},
url = {https://doi.org/10.1007/s10515-018-0240-y},
researchr = {https://researchr.org/publication/GroceAJMH18},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {25},
number = {4},
pages = {917-960},
}