Factorized Test Generation for Multi-Input/Output Transition Systems.

Ed Brinksma Lex Heerink Jan Tretmans

Published in: IWTCS (1998)

Keyphrases

input output
test generation
transition systems
test cases
model checking
temporal logic
concurrent systems
internal states
control flow
software testing
static analysis
finite state
quality assurance
practical reasoning
model checker
software development
state transition
ibm zenterprise