State Coverage Metrics for Specification-Based Testing with Büchi Automata.

Published in: TAP@TOOLS (2011)

Keyphrases

test suite
finite state machines
formal verification
data sets
databases
information retrieval
high level
source code
cellular automata
evaluation metrics
finite state
specification language