Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu. Automatic generation of high quality test sets via CBMC. In Markus Aderhold, Serge Autexier, Heiko Mantel, editors, 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. Volume 3 of EPiC Series, pages 65-78, EasyChair, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.