Contractinator is a tool for contract-driven development!
Ehren Murdick, Tommy Orr, Nick Mahoney, Lenny Koepsell
MIT