Execution Constraint Verification of Exception Handling on UML Sequence Diagrams.
Selim CiraciHasan SözerMehmet AksitWilke HavingaPublished 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