Automatic synthesis and the cost of testing | IEEE Conference Publication | IEEE Xplore