Java-MaC: a run-time assurance tool for Java (2002)

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