An empirical investigation into branch coverage for C programs using CUTE and AUSTIN.

Kiran Lakhotia Phil McMinn Mark Harman

Published in: J. Syst. Softw. (2010)

Keyphrases

set of test cases
computer programs
database
real time
automatic programming
metadata
information technology
object oriented
database applications
programming environment
fixpoint
java programs
provably correct