2008 |
11 | EE | Nurit Dor,
Tal Lev-Ami,
Shay Litvak,
Mooly Sagiv,
Dror Weiss:
Customization change impact analysis for erp professionals via program slicing.
ISSTA 2008: 97-108 |
10 | EE | Stephen J. Fink,
Eran Yahav,
Nurit Dor,
G. Ramalingam,
Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
2006 |
9 | EE | Inbal Ronen,
Nurit Dor,
Sara Porat,
Yael Dubinsky:
Combined static and dynamic analysis for inferring program dependencies using a pattern language.
CASCON 2006: 27-38 |
8 | EE | Stephen J. Fink,
Eran Yahav,
Nurit Dor,
G. Ramalingam,
Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
ISSTA 2006: 133-144 |
2005 |
7 | EE | Nurit Dor,
John Field,
Denis Gopan,
Tal Lev-Ami,
Alexey Loginov,
Roman Manevich,
G. Ramalingam,
Thomas W. Reps,
Noam Rinetzky,
Mooly Sagiv,
Reinhard Wilhelm,
Eran Yahav,
Greta Yorsh:
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE 2005: 82-92 |
2004 |
6 | EE | Nurit Dor,
Stephen Adams,
Manuvir Das,
Zhe Yang:
Software validation via scalable path-sensitive value flow analysis.
ISSTA 2004: 12-22 |
5 | EE | Denis Gopan,
Frank DiMaio,
Nurit Dor,
Thomas W. Reps,
Shmuel Sagiv:
Numeric Domains with Summarized Dimensions.
TACAS 2004: 512-529 |
2003 |
4 | EE | Nurit Dor,
Michael Rodeh,
Shmuel Sagiv:
CSSV: towards a realistic tool for statically detecting all buffer overflows in C.
PLDI 2003: 155-167 |
2001 |
3 | EE | Nurit Dor,
Michael Rodeh,
Shmuel Sagiv:
Cleanness Checking of String Manipulations in C Programs via Integer Analysis.
SAS 2001: 194-212 |
2000 |
2 | | Nurit Dor,
Michael Rodeh,
Shmuel Sagiv:
Checking Cleanness in Linked Lists.
SAS 2000: 115-134 |
1998 |
1 | EE | Nurit Dor,
Michael Rodeh,
Shmuel Sagiv:
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience).
PASTE 1998: 27-34 |