Automatic generation of high quality test sets via CBMC

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]

Abstract

Abstract is missing.