Three-module framework for automated software testing | IEEE Conference Publication | IEEE Xplore