Randomized Algorithms for Program Analysis and Verification.

George C. Necula Sumit Gulwani Randomized Algorithms for Program Analysis and Verification. 1 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_1 db/conf/cav/cav2005.html#NeculaG05