Automated coverage calculation and test case generation. - G. C. Morrison; Cornelia P. Inggs; Willem Visser (SAICSIT, 2012)