Automatic Test Generation for Coverage Analysis Using CBMC

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.