Neta Aizenbud-Reshef is an author at IBM Research - Haifa specializing in software testing, software design, and system software.
Top concepts
EngineeringData ModelingSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
2001–2006
2
2
Neta Aizenbud-Reshef, Brian T. Nolan, Julia Rubin et al. · IBM Systems Journal · 2006 · 216 citations
On the Effective Deployment of Functional Formal Verification
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer et al. · Formal Methods in System Design · 2001 · 10 citations
Rows per page
1–2 of 2