Parametric Trace Slicing and Monitoring.

Feng Chen, Grigore Rosu

Browse the full TACAS paper archive.