Full Abstraction for Fair Testing in CCS.

Tom Hirschowitz

Published in: CALCO (2013)

Keyphrases

high level
test cases
information systems
case study
bayesian networks
special case
real time
genetic algorithm
metadata
multi agent systems
test set
test data
formal verification