Runtime Verification as Documentation.

Dennis Dams, Klaus Havelund, Sean Kauffman

Browse the full ISoLA paper archive.