Flexible modular formalization of UML sequence diagrams.
Luciano BaresiMohammad Mehdi Pourhashem KallehbastiMatteo RossiPublished in: FormaliSE (2014)
Keyphrases
- sequence diagrams
- petri net
- class diagrams
- uml models
- activity diagrams
- intermediate representation
- test cases
- class diagram
- regression testing
- model based testing
- uml class diagrams
- unified modelling language
- object oriented
- dependency graph
- image features
- knowledge representation
- artificial intelligence
- reverse engineering