Login / Signup
Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation.
Cassia de Souza Carvalho
Tatsuhiro Tsuchiya
Published in:
CANDAR (2014)
Keyphrases
</>
test suite
test case generation
model checker
state transition
test cases
black box
software testing
state space
state transitions
input output
hidden markov models
markov chain
probability distribution
test data generation
finite state machines
static analysis
model checking
pattern matching
test generation
database