Java-MOP: A Monitoring Oriented Programming Environment for Java.

Feng Chen, Grigore Rosu

Browse the full TACAS paper archive.