Automatic Test Generation for Coverage Analysis Using CBMC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina. Automatic Test Generation for Coverage Analysis Using CBMC. In Roberto Moreno-DÃaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers. Volume 5717 of Lecture Notes in Computer Science, pages 287-294, Springer, 2009. [doi]

This author has not been identified. Look up 'Damiano Angeletti' in GoogleThis author has not been identified. Look up 'Enrico Giunchiglia' in GoogleThis author has not been identified. Look up 'Massimo Narizzano' in GoogleThis author has not been identified. Look up 'Alessandra Puddu' in GoogleThis author has not been identified. Look up 'Salvatore Sabina' in Google

runs on WebDSL