The project is based on the benefits of Design by Contract on testing. If contracts - preconditions, postconditions, class invariants - are systematically associated with classes, they provide an invaluable source of information for producing systematic tests, directly based on the software's expres...