Improving Intent Correctness with Automated Testing | IEEE Conference Publication | IEEE Xplore