What Is a Trace? A Runtime Verification Perspective.

Giles Reger, Klaus Havelund

Browse the full ISoLA paper archive.