A runtime assertion checker for the java modeling language (2002)

by Y Cheon, G Leavens
Venue:In International Conference on Software Engineering Research and Practice (SERP ’02), Las Vegas