Automated software testing has pitfalls