Automatic generation of high quality test sets via CBMC - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Automatic Test Generation for Coverage Analysis Using CBMCDamiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina. eurocast 2009: 287-294 [doi]

Improving the Automatic Test Generation process for Coverage Analysis using CBMCDamiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina. aiia 2010: [doi]

runs on WebDSL