Satish Chandra Stephen J. Fink Manu Sridharan Snugglebug: a powerful approach to weakest preconditions. 363-374 2009 PLDI http://doi.acm.org/10.1145/1542476.1542517 conf/pldi/2009 db/conf/pldi/pldi2009.html#ChandraFS09