"Automatic generation of high quality test sets via CBMC."

Emanuele Di Rosa et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics