"Thorough Checking Revisited."

Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics