Data-flow testing of declarative programs.

Sebastian Fischer Herbert Kuchen

Published in: ICFP (2008)

Keyphrases

data flow
symbolic execution
control flow
object oriented software
database machine
software testing
data transfer
knowledge representation
digital signal processing
systolic array
high speed
image processing
signal processing
test suite
declarative language
deductive database systems