Coverage-Based Testing with Symbolic Transition Systems.

Petra van den Bos Jan Tretmans

Published in: TAP@FM (2019)

Keyphrases

transition systems
test suite
model checker
model checking
concurrent systems
temporal logic
finite state
control flow
test cases
formal verification
practical reasoning
linear programming
software testing
data flow
case study
distributed systems
domain specific
search space