Coverage Criteria for State Based Specifications.

Paul Ammann Jeff Offutt Wuzhi Xu

Published in: Formal Methods and Testing (2008)

Keyphrases

state space
finite state machines
e learning
case study
probability distribution
multi criteria
multiple criteria