A taxonomy and catalog of runtime software-fault monitoring tools
A Runtime Assertion Checker for the Java Modeling Language (JML)