C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.
Imen Boudhiba
Christophe Gaston
Pascale Le Gall
Virgile Prevosto
Published in:
ICTSS (2015)
Keyphrases
</>
input output
transition systems
model based testing
test cases
control flow
model checking
temporal logic
state transition
software testing
concurrent systems
practical reasoning
internal states
finite state
software development
software design
data flow
mental states
test suite