PROGRAMS BY assertj.sf.net

A Java-based assertion checking framework. A good start for a Design by Contract (DBC) or a Test-Driven development approach.