• [FSE 08]        W.  Le and M. L. Soffa    

                           Marple: A Demand-Driven Path-Sensitive Buffer Overflow Detector

                           16th  International Symposium on the Foundations of Software Engineering

                           November 2008      (pdf)

 

 

• [PASTE 07]    W.  Le and M. L. Soffa   

                            Refining Buffer Overflow Detection via Demand-Driven Path-Sensitive Analysis

                            Program Analysis for Software Tools and Engineering

                           June 2007      (pdf)

                                                      Marple