×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [precondition violations]
Documents
Dbcbet: Object-Oriented Design by Contract with Declarative Bounded Exhaustive Testing Christopher Coakley and Peter Cappello
217 views
Documents
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,
223 views
Documents
Early Detection of JML Specification Errors using ESC/Java2 Patrice Chalin Dependable Software Research Group (DSRG) Computer Science and Software Engineering
214 views