Synthesis of distributed testers from true-concurrency models of reactive systems.

Published in: Inf. Softw. Technol. (2003)

Keyphrases

reactive systems
distributed systems
control flow
database systems
formal methods
machine learning
case study
data model
probabilistic model
low cost
test cases
process model
software testing