Thorough Checking Revisited.

Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik

Browse the full FMCAD paper archive.