This site's content was compiled from 1993 to 2006. Beyond that, Google is your friend.
Andreas Leitner and Ilinca Ciupa
AutoTest (formerly TestStudio) is a fully automatic testing tool based on Design by Contract.
Contracts are a valuable source of information regarding the intended semantics of the software. The information that contracts (preconditions, postconditions, class invariants, loop variants and invariants, and check instructions) provide can be used to check whether the software fulfills its intended purpose. By checking that the software respects its contracts, we can ascertain its validity. Therefore, contracts provide the basis for automation of the testing process.
AutoTest allows the user to generate, compile and run tests at the push of a button.
