QSIC
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...