Test Selection for Data-Flow Reactive Systems Based on Observations.

Omer Nguena-Timo Antoine Rollet

Published in: ICST Workshops (2011)

Keyphrases

data flow
reactive systems
control flow
database machine
software testing
object oriented software
systolic array
data transfer
digital signal processing
object oriented
model checking
knowledge acquisition
test cases
bottle neck
decision making
petri net