A Causality-based Semantics for UML Sequence Diagrams.
Omar TahirChristophe Sibertin-BlancJanette CardosoPublished in: IASTED Conf. on Software Engineering (2005)
Keyphrases
- sequence diagrams
- class diagrams
- petri net
- uml class diagrams
- uml models
- unified modelling language
- activity diagrams
- uml activity diagrams
- intermediate representation
- test cases
- class diagram
- model based testing
- regression testing
- formal semantics
- general purpose
- specification language
- dependency graph
- software testing
- error rate
- artificial intelligence