jContractor: A Design By Contract tool for Java
jContractor is a tool that adds support the Design by Contract programming paradigm to the Java programming language. Programmers write contracts as normal Java methods that follow a naming convention, and jContractor manipulates the compiled byte code at run-time to add contract checks.