AutoTest: Push-button testing using contracts

Published --