Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.
Vitus S. W. LamJulian A. PadgetPublished in: IFM (2005)
Keyphrases
- consistency checking
- sequence diagrams
- test cases
- cardinal directions
- class diagrams
- petri net
- uml models
- regression testing
- software testing
- query answering
- intermediate representation
- class diagram
- temporal reasoning
- temporal constraints
- path consistency
- test suite
- test sequences
- constraint satisfaction problems
- databases
- test set
- np complete
- dependency graph
- data sources