Execution Constraint Verification of Exception Handling on UML Sequence Diagrams.

Selim Ciraci Hasan Sözer Mehmet Aksit Wilke Havinga

Published in: SSIRI (2011)

Keyphrases

exception handling
sequence diagrams
class diagrams
object oriented
petri net
uml models

activity diagrams
intermediate representation
domain independent
object oriented programming
test cases
conflict resolution

workflow management systems
workflow management
class diagram
regression testing
agent systems
model based testing

dependency graph
model checking
constraint language
test generation
software agents
query language