38 citations · 38 across the 1 of their papers we have counts for
1 paper
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…