Creating Vulnerability Signatures Using Weakest Preconditions.

David Brumley Hao Wang Somesh Jha Dawn Xiaodong Song

Published in: CSF (2007)

Keyphrases

explanation based learning
situation calculus