Login / Signup
Nurit Dor
Publication Activity (10 Years)
Years Active: 1998-2019
Publications (10 Years): 1
Top Topics
Invited Talk
Model Checking
Statistical Models
Artificial Neural Networks
Top Venues
ISSTA
</>
Publications
</>
Eran Yahav
,
Stephen J. Fink
,
Nurit Dor
,
G. Ramalingam
,
Emmanuel Geay
From typestate verification to interpretable deep models (invited talk abstract).
ISSTA
(2019)
Shay Litvak
,
Nurit Dor
,
Rastislav Bodík
,
Noam Rinetzky
,
Mooly Sagiv
Field-sensitive program dependence analysis.
SIGSOFT FSE
(2010)
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)
Nurit Dor
,
Tal Lev-Ami
,
Shay Litvak
,
Mooly Sagiv
,
Dror Weiss
Customization change impact analysis for erp professionals via program slicing.
ISSTA
(2008)
Stephen J. Fink
,
Eran Yahav
,
Nurit Dor
,
G. Ramalingam
,
Emmanuel Geay
Effective typestate verification in the presence of aliasing.
ISSTA
(2006)
Inbal Ronen
,
Nurit Dor
,
Sara Porat
,
Yael Dubinsky
Combined static and dynamic analysis for inferring program dependencies using a pattern language.
CASCON
(2006)
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)
Nurit Dor
,
Stephen Adams
,
Manuvir Das
,
Zhe Yang
Software validation via scalable path-sensitive value flow analysis.
ISSTA
(2004)
Denis Gopan
,
Frank DiMaio
,
Nurit Dor
,
Thomas W. Reps
,
Shmuel Sagiv
Numeric Domains with Summarized Dimensions.
TACAS
(2004)
Nurit Dor
,
Michael Rodeh
,
Shmuel Sagiv
CSSV: towards a realistic tool for statically detecting all buffer overflows in C.
PLDI
(2003)
Nurit Dor
,
Michael Rodeh
,
Shmuel Sagiv
Cleanness Checking of String Manipulations in C Programs via Integer Analysis.
SAS
(2001)
Nurit Dor
,
Michael Rodeh
,
Shmuel Sagiv
Checking Cleanness in Linked Lists.
SAS
(2000)
Nurit Dor
,
Michael Rodeh
,
Shmuel Sagiv
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience).
PASTE
(1998)