Title
Improving the Automatic Test Generation process for Coverage Analysis using CBMC
Year
Venue
Field
2009
RCRA@AI*IA
Automatic test pattern generation,Fault coverage,Source code,Engineering,Test compression,Modified condition/decision coverage,Reliability engineering,Software development,Test data generation,Test set
DocType
Citations 
PageRank 
Conference
1
0.35
References 
Authors
7
7
Name
Order
Citations
PageRank
Damiano Angeletti1333.49
Enrico Giunchiglia22380164.28
Massimo Narizzano345130.41
Gabriele Palma420.70
Alessandra Puddu5232.31
Salvatore Sabina6253.45
opera pia710.35