Rachel Tzoref

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 1

Top Topics

Complex Systems

Statistical Model

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Rachel Tzoref
Comprehension and Evolution of Combinatorial Models and Test Plans. ACM SIGSOFT Softw. Eng. Notes 45 (3) (2020)
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur
Deadlocks: From Exhibiting to Healing. RV (2008)
Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. ASE (2008)
Yaniv Eytani, Rachel Tzoref, Shmuel Ur
Experience with a Concurrency Bugs Benchmark. ICST Workshops (2008)
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar
Healing data races on-the-fly. PADTAD (2007)
Rachel Tzoref, Shmuel Ur, Elad Yom-Tov
Instrumenting where it hurts: an automatic concurrent debugging technique. ISSTA (2007)
Rachel Tzoref, Orna Grumberg
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. CAV (2006)
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
Supporting SAT based BMC on Finite Path Models. Electron. Notes Theor. Comput. Sci. 144 (1) (2006)
Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer
An Optimized Symbolic Bounded Model Checking Engine. CHARME (2003)