Java pathexplorer - a runtime verification tool (2001)

by K Havelund, G Roşu
Venue:In Proc. of the Sixth Int. Symp. on Artificial Intelligence, Robotics, and Automation in Space