Algorithmic Design and Implementation of an Automated Testing Tool | IEEE Conference Publication | IEEE Xplore