Login / Signup
Improving the Automatic Test Generation process for Coverage Analysis using CBMC.
Damiano Angeletti
Enrico Giunchiglia
Massimo Narizzano
Gabriele Palma
Alessandra Puddu
Salvatore Sabina
Published in:
RCRA@AI*IA (2009)
Keyphrases
</>
test generation
data analysis
high quality
multi agent
test cases
static analysis
artificial intelligence
feature space
data model