Testing Techniques for Data-Flow Synchronous Programs.

Farid Ouabdesselam Ioannis Parissis

Published in: AADEBUG (1995)

Keyphrases

data flow
symbolic execution
control flow
object oriented software
database machine
software testing
digital signal processing
test cases
systolic array
data transfer
bottle neck
artificial intelligence
asynchronous communication
software systems
test generation
computer programs
test set