Abstract combinatorial programs and efficient property testers | IEEE Conference Publication | IEEE Xplore