BibTeX record conf/aiia/AngelettiGNPPS09

download as .bib file

@inproceedings{DBLP:conf/aiia/AngelettiGNPPS09,
  author    = {Damiano Angeletti and
               Enrico Giunchiglia and
               Massimo Narizzano and
               Gabriele Palma and
               Alessandra Puddu and
               Salvatore Sabina},
  title     = {Improving the Automatic Test Generation process for Coverage Analysis
               using {CBMC}},
  booktitle = {RCRA@AI*IA},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {589},
  publisher = {CEUR-WS.org},
  year      = {2009}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics