Snugglebug: a powerful approach to weakest preconditions.

Satish Chandra, Stephen J. Fink, Manu Sridharan

Browse the full PLDI paper archive.