Parametric trace slicing and monitoring (2009)

by Feng Chen, Grigore Rosu
Venue:of Lecture Notes in Computer Science