Test synthesis: from wishful thinking to reality | IEEE Conference Publication | IEEE Xplore