Abstract: 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 given program ...

Model output is limited by the population cancer data used, in this case the SEER18 database, which contains data from only 14 US states. The relative newness of MCED tests means that there is little ...