Nurit Dor

Most-cited papers

Effective typestate verification in the presence of aliasing
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam +1 more
2006TSEM304 citations Open access
Semantic Scholar
CSSV: towards a realistic tool for statically detecting all buffer overflows in C
Nurit Dor, M. Rodeh, M. Sagiv
2003ACM-SIGPLAN Symposium on Programming Language Design and Implementation275 citations
Semantic Scholar
Numeric Domains with Summarized Dimensions
Denis Gopan, F. DiMaio, Nurit Dor, T. Reps +1 more
2004International Conference on Tools and Algorithms for Construction and Analysis of Systems105 citations Open access
Semantic Scholar
Cleanness Checking of String Manipulations in C Programs via Integer Analysis
Nurit Dor, M. Rodeh, S. Sagiv
2001Sensors Applications Symposium88 citations
Semantic Scholar
Checking Cleanness in Linked Lists
Nurit Dor, M. Rodeh, S. Sagiv
2000Sensors Applications Symposium65 citations
Semantic Scholar
Software validation via scalable path-sensitive value flow analysis
Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang
2004International Symposium on Software Testing and Analysis59 citations
Semantic Scholar
Effective typestate verification in the presence of aliasing
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam +1 more
2008International Symposium on Software Testing and Analysis38 citations Open access
Semantic Scholar
Detecting memory errors via static pointer analysis (preliminary experience)
Nurit Dor, M. Rodeh, M. Sagiv
1998Workshop on Program Analysis For Software Tools and Engineering25 citations Open access
Semantic Scholar
Customization change impact analysis for erp professionals via program slicing
Nurit Dor, T. Lev-Ami, Shay Litvak, M. Sagiv +1 more
2008International Symposium on Software Testing and Analysis18 citations
Semantic Scholar
WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants
Thomas Bernardi, Nurit Dor, A. Fedotov, Shelly Grossman +10 more
202013 citations
Semantic Scholar
Field-sensitive program dependence analysis
Shay Litvak, Nurit Dor, R. Bodík, N. Rinetzky +1 more
2010Fast Software Encryption Workshop13 citations
Semantic Scholar
Combined static and dynamic analysis for inferring program dependencies using a pattern language
Inbal Ronen, Nurit Dor, S. Porat, Y. Dubinsky
2006Conference of the Centre for Advanced Studies on Collaborative Research5 citations
Semantic Scholar
Automatic verification of program cleanness
Nurit Dor
20034 citations
Semantic Scholar
From typestate verification to interpretable deep models (invited talk abstract)
Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam +1 more
2019International Symposium on Software Testing and Analysis0 citations
Semantic Scholar
Annual Scientific Report Board of Governors Meeting the Deutsch Institute 1.1 History and Mission
Esther Ezra, T. Kaufman, A. Lerner, T. Tuller +118 more
20050 citations
Semantic Scholar
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, J. Field, Denis Gopan, T. Lev-Ami +9 more
2005Verified Software: Theories, Tools, Experiments0 citations Open access
Semantic Scholar
Cleanness Checking of Strings in C Programs
Nurit Dor
20000 citations
Semantic Scholar