Login / Signup
Generation of complete test suites from mealy input/output transition systems.
Sofia Larissa da Costa Paiva
Adenilso da Silva Simão
Published in:
Formal Aspects Comput. (2016)
Keyphrases
</>
input output
transition systems
test suite
model checker
model checking
test cases
test suite reduction
concurrent systems
temporal logic
formal methods
control flow
finite state
internal states
software testing
formal verification
state transition
description language
practical reasoning
specification language