An overview of the runtime verification tool Java PathExplorer (2004)

by K Havelund, G Ros¸u
Venue:Formal Methods in System Design