Usage Contracts (or uContracts for short) offer a simple unit-testing like way for letting programmers document and check conformance to structural source-code regularities, based on a “contract” metaphor. They provide immediate feedback to developers during coding. Essentially, they can be seen as an embedded DSL which remains close to the host programming language and with a tight but not coercive integration with the host IDE, to avoid adoption issues. This work was conducted by Angela Lozano, Andy Kellens and Kim Mens.