Dbcbet: Object-Oriented Design by Contract with Declarative Bounded Exhaustive Testing Christopher Coakley and Peter Cappello.
1 CSE 331 Programming by contract: pre/post conditions; Javadoc slides created by Marty Stepp based on materials by M. Ernst, S. Reges, D. Notkin, R. Mercer,
Early Detection of JML Specification Errors using ESC/Java2 Patrice Chalin Dependable Software Research Group (DSRG) Computer Science and Software Engineering.