Automatic generation of high quality test sets via CBMC.

Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu

Browse the full CADE paper archive.