Java PathExplorer – A runtime verification tool (2001)

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