Parametric Trace Slicing and Monitoring
Abstract elided by the publisher.
Related papers
- Parametric and Sliced Causality CAV 2007
- Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne ESOP 2013
- Parametric Program Slicing POPL 1995
- Dynamic slicing on Java bytecode traces TOPLAS 2008
- Monitoring Parametric Temporal Logic VMCAI 2014
- Garbage collection for monitoring parametric properties PLDI 2011
- Symbolic Monitoring Against Specifications Parametric in Time and Data CAV 2019
- Making trace monitors feasible OOPSLA 2007