Data Flow Coverage for Circus-Based Testing.

Ana Cavalcanti Marie-Claude Gaudel

Published in: FASE (2014)

Keyphrases

data flow
object oriented software
database machine
control flow
symbolic execution
test suite
data transfer
digital signal processing
code coverage
test cases
object oriented
databases
test generation
systolic array
xml documents
set of test cases