Team Eiffel

AutoTest (by Andreas Leitner and Ilinca Ciupa) is a fully-automatic testing tool for Eiffel software, based on Design by Contract. AutoTest analyses the contracts then generates and runs test cases. It tries to satisfy the preconditions whilst seeing if it can break the postconditions. Well, it does more than that, but that's the basics.

Andreas Leitner was accepted to present "AutoTest: Push Button Testing using Contracts" at Google's recent Test Automation Conference in London, and a video of his presentation can be viewed at Google Video.