38 citations · 84 across the 8 of their papers we have counts for
1 paper · 2 filters
Grigore Rosu, Feng Chen
Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Execution tr…