Creating Vulnerability Signatures Using Weakest Preconditions.

David Brumley Hao Wang Somesh Jha Dawn Xiaodong Song Creating Vulnerability Signatures Using Weakest Preconditions. 311-325 2007 CSF http://dx.doi.org/10.1109/CSF.2007.17 conf/csfw/2007 db/conf/csfw/csf2007.html#BrumleyWJS07