Java PathExplorer - a runtime verification tool (2001)

by K Havelund, G Rosu
Venue:In The 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey