JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.

Patrice Chalin, Frdric Rioux

Browse the full FM paper archive.