Login / Signup

Automatic Test Generation for Coverage Analysis Using CBMC.

Damiano AngelettiEnrico GiunchigliaMassimo NarizzanoAlessandra PudduSalvatore Sabina
Published in: EUROCAST (2009)
Keyphrases
  • test generation
  • test cases
  • data sets
  • query language
  • feature selection
  • data analysis
  • programming language
  • test set
  • pattern matching
  • symbolic execution