Abstract Interpretation: Testing at Scale without Testing at Scale | IEEE Conference Publication | IEEE Xplore