|
|
Customization Change Impact Analysis for ERP Professionals via Program Slicing
Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, and Dror Weiss, ISSTA 2008 [pdf]
Effective Typestate Verification in the Presence of Aliasing
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, and Emmanuel Geay, ISSTA 2006 [pdf]
Combined Static and Dynamic Analysis for Inferring Program Dependencies Using a Pattern Language
Inbal Ronen, Nurit Dor, Sara Porat, and Yael Dubinsky, CASCON 2006
Software Validation via Scalable Path-Sensitive Value Flow Analysis
Nurit Dor, Stephen Adams, Manuvir Das, and Zhe Yang , ISSTA 2004
Numeric Domains with Summarized Dimensions
Denis Gopan, Frank DiMaio, Nurit Dor, Thomas Reps, and Mooly Sagiv, TACAS 2004 [ps]
CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows
Dor Nurit, Rodeh Michael, and Sagiv Mooly, PLDI 2003 [pdf]
Cleanness Checking of String Manipulations in C Programs via Integer Analysis
Dor Nurit, Rodeh Michael, and Sagiv Mooly, SAS 2001[pdf]
Checking Cleanness in Linked Lists
Dor Nurit, Rodeh Michael, and Sagiv Mooly, SAS 2000 [pdf]
Detecting Memory Errors via Static Pointer Analysis
Dor Nurit, Rodeh Michael, and Sagiv Mooly, PASTE 1998 [paste98.ps]
Dissertations
Automatic Verfication of Program Cleanness
Phd Thesis, Tel-Aviv Univeristy, 200 [ps.zip]
Detecting Memory Errors via Static Pointer Analysis
Msc Thesis, Tel-Aviv University, 1999 [ps.zip] |