Login / Signup
A static measure of a subset of intra-procedural data flow testing coverage based on node coverage.
Ettore Merlo
Giuliano Antoniol
Published in:
CASCON (1999)
Keyphrases
</>
data flow
object oriented software
test suite
database machine
control flow
symbolic execution
object oriented
databases
systolic array
information redundancy
directed graph
digital signal processing
set of test cases
dynamic analysis
test cases
test set
case study
image processing