Nurit Dor

According to our database, Nurit Dor authored at least 13 papers between 1998 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

From typestate verification to interpretable deep models (invited talk abstract).

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2010

Field-sensitive program dependence analysis.

Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2008

Customization change impact analysis for erp professionals via program slicing.

Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2006

Effective typestate verification in the presence of aliasing.

Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Combined static and dynamic analysis for inferring program dependencies using a pattern language.

Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky

Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

2005

Automatic Verification of Strongly Dynamic Software Systems.

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

Proceedings of the Verified Software: Theories, 2005

2004

Numeric Domains with Summarized Dimensions.

Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Software validation via scalable path-sensitive value flow analysis.

Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Automatic verification of program cleanness

Nurit Dor

PhD thesis, 2003

CSSV: towards a realistic tool for statically detecting all buffer overflows in C.

Nurit Dor, Michael Rodeh, Shmuel Sagiv

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2001

Cleanness Checking of String Manipulations in C Programs via Integer Analysis.

Nurit Dor, Michael Rodeh, Shmuel Sagiv

Proceedings of the Static Analysis, 8th International Symposium, 2001

2000

Checking Cleanness in Linked Lists.

Nurit Dor, Michael Rodeh, Shmuel Sagiv

Proceedings of the Static Analysis, 7th International Symposium, 2000

1998

Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience).

Nurit Dor, Michael Rodeh, Shmuel Sagiv

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998