Login / Signup
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems.
Willibald Krenn
Rupert Schlick
Bernhard K. Aichernig
Published in:
FMCO (2009)
Keyphrases
</>
object oriented
transition systems
object oriented systems
test case generation
reactive systems
distributed systems
training data
concurrent systems
test cases
control flow
data model
databases
temporal logic
software testing
database
dynamic programming
relational databases
high level