Sign in
Runtime verification of state machines and defect localization applying model-based testing.
Mehrdad Saadatmand
Detlef Scholle
Cheuk Wing Leung
Sebastian Ullström
Joanna Fredriksson Larsson
Published in:
WICSA Companion (2014)
Keyphrases
</>
state machines
sequence diagrams
model based testing
state machine
petri net
test cases
intermediate representation
model checking
recurrent networks
formal methods
regression testing
smart card
fault tolerant
software design
dependency graph