Applied technologies include full semantic source analysis. Software visualization supports program comprehension. Static data flow analysis-based verifications detect problems in variable usage, task interactions and concurrency. Software metrics measure design quality and identify potential testing and maintenance issues.
- Bellay, Berndt; Gall, Harald (1998). "An Evaluation of Reverse Engineering Tool Capabilities". Wiley. Retrieved 22 March 2014.
- Use inside SEI's ARMIN Architecture Reconstruction and Mining Tool
- Use inside Bosch's Model-Centric Software Architecture Reconstruction