Snugglebug: A Powerful Approach To Weakest Preconditions. Satish Chandra Stephen J. Fink Manu Sridharan. PLDI 2009.

Bouncer: securing software by blocking bad input. M. Costa, M. Castro, L. Zhou, L. Zhang, and M. Peinado. SOSP 2007.

Fault Localization and Repair for Java Runtime Exceptions. S. Sinha, H. Shah, C. Görg, S. Jiang, M. Kim, and M. J. Harrold. ISSTA 2009.

Accurate interprocedural null dereference analysis for java. M. G. Nanda and S. Sinha. ICSE 2009.

Null dereference verification via overapproximated weakest precondition analysis. R. Madhavan and R. Komondoor. OOPSLA 2011.

Finding bugs in dynamic web applications. S. Artzi, A. Kie˙zun, J. Dolby, F. Tip, D. Dig, A. Paradkar, and M. D. Ernst. ISSTA 2008.

Automatic documentation inference for exceptions. R. P. L. Buse and W. Weimer. ISSTA 2008.

Extended static checking for Java. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. PLDI 2002.

DySy: Dynamic symbolic execution for invariant inference. C. Csallner, N. Tillmann, and Y. Smaragdakis. ICSE 2008.

Calysto: scalable and precise extended static checking. D. Babic and A. J. Hu. ICSE 2008.

SATURN: A Scalable Framework for ErrorDetection Using Boolean Satisfiability. Y. Xie and A. Aiken. ACM TOPLAS, 29(3):16, 2007.

Sound input filter generation for integer overflow errors. Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin Rinard. POPL 2014.