Search

• < Previous
• 1
• Next >

Semantics and Algorithms for Parametric Monitoring

Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Execution traces are frequently parametric, i.e., they contain events with parameter bindings. Each parametric trace usually&nbsp;[&hellip;]