( en | de | ru )

 

Disambiguation of "Dor, Nurit"

Author of the publication

copydeleteadd this publication to your clipboard
Software validation via scalable path-sensitive value flow analysis.

, , , and . ISSTA, page 12-22. ACM, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nurit Seewi

dor Gulyás

Tamás V dor

dor Lupaskói Hizden

Ivo-Nino Dor i

 

Other publications of authors with the same name

Combined static and dynamic analysis for inferring program dependencies using a pattern language., , , and . CASCON, page 27-38. IBM, (2006)Software validation via scalable path-sensitive value flow analysis., , , and . ISSTA, page 12-22. ACM, (2004)Customization change impact analysis for erp professionals via program slicing., , , , and . ISSTA, page 97-108. ACM, (2008)Detecting Memory Errors via Static Pointer Analysis. School of Computer Science, Tel-Aviv University, (May 1999)Detecting Memory Errors via Static Pointer Analysis, , and . ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE'98, ACM Press, (1998)Cleanness Checking of String Manipulations in C Programs via Integer Analysis, , and . Static Analysis Symposium, volume 2126 of Lecture Notes in Computer Science, page 194--??. Springer Verlag, (June 2001)CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C, , and . #PLDI03#, (2003)Field-sensitive program dependence analysis., , , , and . SIGSOFT FSE, page 287-296. ACM, (2010)Cleanness Checking of String Manipulations in C Programs via Integer Analysis., , and . SAS, volume 2126 of Lecture Notes in Computer Science, page 194-212. Springer, (2001)Checking Cleanness in Linked Lists., , and . SAS, volume 1824 of Lecture Notes in Computer Science, page 115-134. Springer, (2000)