Refusal Testing for Classes of Transition Systems with Inputs and Outputs.

Lex Heerink Jan Tretmans

Published in: FORTE (1997)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
formal verification
test cases
control flow
practical reasoning
sufficient conditions
test set
decision problems
software testing