---

Revision with unchanged content. 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 expressly intended semantics. The goal of this project is to develop a tool called "Test Wizard", which generates test cases automatically from contract-equipped classes. The Test Wizard will serve as a workbench to try out different testing strategies.

---

Master of Science ETH in Computer Science: studies of computer science at EPFL, University of Strathclyde (ERASMUS exchange) and ETHZ. Consultant/SIM Project Engineer for Axalto S.p.A, Rome, Italy. Consultant at Accenture AG, Zurich, Switzerland.

---