Inter-context control-flow and data-flow test adequacy criteria for nesC applications.

Zhifeng Lai Shing-Chi Cheung Wing Kwong Chan

Published in: SIGSOFT FSE (2008)

Keyphrases

data flow
control flow
software testing
database machine
data transfer
digital signal processing
transition systems
object oriented software
object oriented
business process models
systolic array
data sets
test cases
reactive systems
database
high level