Testing Transition Systems: An Annotated Bibliography.

Ed Brinksma Jan Tretmans

Published in: MOVEP (2000)

Keyphrases

transition systems
model checking
concurrent systems
control flow
temporal logic
finite state
software testing
practical reasoning
test set
test cases
markov chain
data flow
formal specification
formal verification
model checker