As suggested by the survey presented in section 1, the problems we need to address are that developers don’t like testing, find it tedious, and consider the tool support for it inadequate. However, there is another major drawback to manual testing: inevitably, some cases will remain untested, and it might be exactly the extreme ones – which the developer might not even think of testing – that cause malfunctions in the final product.