Computing at the Crossroads (And What Does it Mean to Verification and Test?) | IEEE Conference Publication | IEEE Xplore