Concatenating Sequence-Based Requirements in Model-Based Testing with State Machines.

Stephan Weißleder Dehla Sokenou

Published in: MBEES (2011)

Keyphrases

state machines
sequence diagrams
model based testing
state machine
petri net
test cases
intermediate representation
regression testing
artificial intelligence
training data
hidden markov models
software development
model checking
software design
software testing
real time systems