Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration | IEEE Conference Publication | IEEE Xplore