Program traces

Semantic Aware Software Analysis

The automated analysis of software using ontologies and dynamic program information.