MaTeLo: Automated Testing Suite for Software Validation