Ratiu, D.2023-04-252023-04-252009https://dl.gi.de/handle/20.500.12116/41268enDomain Knowledge Driven Program AnalysisText/Journal Article0720-8928