Concepedia

Nurit Dor

ND

Statistics

Publications

8

Citations

739

H-Index

8

Active since

1998

Affiliations

Tel Aviv University(Current)

IBM Research - Haifa

Nurit Dor is an author at Tel Aviv University specializing in program analysis, engineering, and software testing.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringSystem SoftwareFormal VerificationFormal MethodsComputer Engineering

Publications per year

1998–2010

8

Publications

8

CSSV

Nurit Dor, Michael Rodeh, Mooly Sagiv · ACM SIGPLAN Notices · 2003 · 214 citations

Software Maintenance, Engineering, Software Engineering +18

Effective typestate verification in the presence of aliasing

Stephen J. Fink, Eran Yahav, Nurit Dor et al. · ACM Transactions on Software Engineering and Methodology · 2008 · 161 citations

Program Checking, Engineering, Type Theory +21

Effective typestate verification in the presence of aliasing

Stephen J. Fink, Eran Yahav, Nurit Dor et al. · 2006 · 140 citations

Program Checking, Engineering, Type Theory +21

Nurit Dor, Michael Rodeh, Mooly Sagiv · 2003 · 110 citations

Software validation via scalable path-sensitive value flow analysis

Nurit Dor, Stephen Adams, Manuvir Das et al. · 2004 · 56 citations

Software Maintenance, Engineering, Verification +19

1–5 of 8