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

Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney, Josie Holmes

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Fingerprint

Dive into the research topics of 'How verified (or tested) is my code? Falsification-driven verification and testing'. Together they form a unique fingerprint.

Engineering & Materials Science