Static control-flow analysis for reverse engineering of UML sequence diagrams.
Atanas RountevOlga VolginMiriam ReddochPublished in: PASTE (2005)
Keyphrases
- class diagrams
- reverse engineering
- flow analysis
- sequence diagrams
- dynamic analysis
- software engineering
- object oriented
- activity diagrams
- information flow
- software maintenance
- petri net
- uml models
- uml class diagrams
- intermediate representation
- regression testing
- software engineers
- software evolution
- gene regulatory networks
- platform independent
- model based testing
- reverse engineer
- dependency graph
- formal specification
- class diagram
- program understanding
- databases