JavaMaC: a run-time assurance tool for Java (2001)

by Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky
Venue:In First International Workshop on Run-time Verification