Preventing untestedness in data-flow based testing.

István Forgács Antonia Bertolino

Published in: Softw. Test. Verification Reliab. (2002)

Keyphrases

data flow
object oriented software
database machine
control flow
symbolic execution
software testing
digital signal processing
test cases
data transfer
bottle neck
systolic array
regression testing
object oriented
digital circuits
test suite
design patterns
open source
neural network