Search the dblp DataBase

Publications of Author

1. Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky
   Combined static and dynamic analysis for inferring program dependencies using a pattern language. [Citation Graph (0, 0)][DBLP]
   CASCON, 2006, pp:27-38 [Conf]
   
2. Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang
   Software validation via scalable path-sensitive value flow analysis. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2004, pp:12-22 [Conf]
   
3. Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
   Effective typestate verification in the presence of aliasing. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2006, pp:133-144 [Conf]
   
4. Nurit Dor, Michael Rodeh, Shmuel Sagiv
   Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). [Citation Graph (0, 0)][DBLP]
   PASTE, 1998, pp:27-34 [Conf]
   
5. Nurit Dor, Michael Rodeh, Shmuel Sagiv
   CSSV: towards a realistic tool for statically detecting all buffer overflows in C. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:155-167 [Conf]
   
6. Nurit Dor, Michael Rodeh, Shmuel Sagiv
   Checking Cleanness in Linked Lists. [Citation Graph (0, 0)][DBLP]
   SAS, 2000, pp:115-134 [Conf]
   
7. Nurit Dor, Michael Rodeh, Shmuel Sagiv
   Cleanness Checking of String Manipulations in C Programs via Integer Analysis. [Citation Graph (0, 0)][DBLP]
   SAS, 2001, pp:194-212 [Conf]
   
8. Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv
   Numeric Domains with Summarized Dimensions. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:512-529 [Conf]
   
9. 
   Customization change impact analysis for erp professionals via program slicing. [Citation Graph (, )][DBLP]
   
   
10. 
    Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]