Exact Gap Computation for Code Coverage Metrics in ISO-C

Dirk Richter, Christian Berg

Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the qual…