Rachel Tzoref-Brill  Rachel Tzoref-Brill photo       

contact information

Researcher
Haifa Research Lab, Haifa, Israel

links



2017



2016

Cluster-Based Test Suite Functional Analysis
Marcel Zalmanovici, Orna Raz and Rachel Tzoref-Brill
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2016

Visualization of Combinatorial Models and Test Plans
Rachel Tzoref-Brill, Paul Wojciak, and Shahar Maoz
31st IEEE/ACM International Conference on Automated Software Engineering (ASE) , 2016

Coverage-Based Metrics for Cloud Adaptation
Yonit Magid, Rachel Tzoref-Brill, and Marcel Zalmanovici
2nd International Workshop on Quality-Aware DevOps (QUDOS), 2016


2015

Feedback-Driven Combinatorial Test Design and Execution
Itai Segall and Rachel Tzoref-Brill
8th ACM International Systems and Storage Conference (Systor), 2015

Combining Minimization and Generation for Combinatorial Testing
Itai Segall, Rachel Tzoref-Brill, and Aviad Zlotnick
4th International Workshop on Combinatorial Testing (IWCT), 2015

Lattice-Based Semantics for Combinatorial Model Evolution
Rachel Tzoref-Brill and Shahar Maoz
13th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2015


2014

Combinatorial Testing with Order Requirements
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
3rd International Workshop on Combinatorial Testing (IWCT), pp. 118--127, 2014

System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study
Paul Wojciak and Rachel Tzoref-Brill
7th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2014


2013

Using Projections to Debug Large Combinatorial Models
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill
2nd International Workshop on Combinatorial Testing (IWCT), pp. 311-320, 2013

Interaction-Based Test-Suite Minimization
Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
International Conference on Software Engineering (ICSE), pp. 182-191, 2013
Winner of the ACM SIGSOFT Distinguished Paper Award. Teaser video available here


2012

Interactive Refinement of Combinatorial Test Plans
Itai Segall, Rachel Tzoref-Brill
International Conference on Software Engineering (ICSE), 2012

Simplified Modeling of Combinatorial Test Spaces
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
1st International Workshop on Combinatorial Testing, 2012

Common Patterns in Combinatorial Models
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
1st International Workshop on Combinatorial Testing, pp. 624--629, 2012


2011

Using Binary Decision Diagrams for Combinatorial Test Design
Itai Segall, Rachel Tzoref-Brill, and Eitan Farchi
Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA), pp. 254--264


2010

Improving throughput via slowdowns
Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, and Shmuel Ur
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE), pp. 11-20, ACM, 2010


2009

Forcing small models of conditions on program interleaving for detection of concurrent bugs
Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, and Eitan Farchi
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD), 2009

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing
Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, and Tomas Vojnar
Runtime Verification, 9th International Workshop (RV), pp. 101-114, Springer, 2009


2008

Experience with a concurrency bugs benchmark
Yaniv Eytani, Rachel Tzoref, Shmuel Ur
Software Testing Verification and Validation Workshop (ICSTW), 2008

Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections
Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, and Shlomo Hoory
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 307-316, IEEE, 2008

Deadlocks: From Exhibiting to Healing
Yarden Nir-Buchbinder, Rachel Tzoref, and Shmuel Ur
Runtime Verification, 8th International Workshop (RV), pp. 104-118, Springer, 2008


2007

Instrumenting where it hurts: an automatic concurrent debugging technique
Rachel Tzoref, Shmuel Ur, and Elad Yom-Tov
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pp. 27-38, ACM, 2007

Healing data races on-the-fly
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, and Tomas Vojnar
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD), pp. 54-64, ACM, 2007


2006

Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
Rachel Tzoref and Orna Grumberg
Computer Aided Verification, 18th International Conference (CAV), pp. 190-204, Springer, 2006

Supporting SAT based BMC on Finite Path Models
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, and Rachel Tzoref
Electr. Notes Theor. Comput. Sci. 144(1), 67-77, 2006


2003

An Optimized Symbolic Bounded Model Checking Engine
Rachel Tzoref, Mark Matusevich, Eli Berger, and Ilan Beer
Correct Hardware Design and Verification Methods (CHARME), pp. 141-149, Springer, 2003