1. jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java;Abercrombie;ENTCS,2002
2. Rule-Based Runtime Verification;Barringer,2004
3. Jass - Java with Assertions;Bartetzko;ENTCS,2001
4. A Formal Monitoring-Based Framework for Software Development and Analysis;Chen,2004
5. F. Chen, M. d'Amorim, and G. Roşu. Monitoring Oriented Programming. Technical Report UIUCDCS-R-2004-2420, Univ. of Illinois Urbana-Champaign, March 2004