An Optimized Symbolic Bounded Model Checking Engine. - Rachel Tzoref; Mark Matusevich; Eli Berger; Ilan Beer (CHARME, 2003)

Supporting SAT based BMC on Finite Path Models. - Daniel Geist; Mark Ginzburg; Yoad Lustig; Ishai Rabinovitz; Ohad Shacham; Rachel Tzoref (BMC@CAV, 2005)

Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. - Rachel Tzoref; Orna Grumberg (CAV, 2006)

Healing data races on-the-fly. - Bohuslav Krena; Zdenek Letko; Rachel Tzoref; Shmuel Ur; Tomás Vojnar (PADTAD, 2007)

Instrumenting where it hurts: an automatic concurrent debugging technique. - Rachel Tzoref; Shmuel Ur; Elad Yom-Tov (ISSTA, 2007)

Experience with a Concurrency Bugs Benchmark. - Yaniv Eytani; Rachel Tzoref; Shmuel Ur (ICST Workshops, 2008)

Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. - Elad Yom-Tov; Rachel Tzoref; Shmuel Ur; Shlomo Hoory (ASE, 2008)

Deadlocks: From Exhibiting to Healing. - Yarden Nir-Buchbinder; Rachel Tzoref; Shmuel Ur (RV, 2008)

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; Eitan Farchi (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; Tomás Vojnar (RV, 2009)

Improving throughput via slowdowns. - Maayan Goldstein; Onn Shehory; Rachel Tzoref-Brill; Shmuel Ur (ICSE (2), 2010)

Using binary decision diagrams for combinatorial test design. - Itai Segall; Rachel Tzoref-Brill; Eitan Farchi (ISSTA, 2011)

Interactive refinement of combinatorial test plans. - Itai Segall; Rachel Tzoref-Brill (ICSE, 2012)

Simplified Modeling of Combinatorial Test Spaces. - Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST, 2012)

Common Patterns in Combinatorial Models. - Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST, 2012)

Interaction-based test-suite minimization. - Dale Blue; Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICSE, 2013)

Using Projections to Debug Large Combinatorial Models. - Eitan Farchi; Itai Segall; Rachel Tzoref-Brill (ICST Workshops, 2013)

Combinatorial Testing with Order Requirements. - Eitan Farchi; Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST Workshops, 2014)

System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study. - Paul A. Wojciak; Rachel Tzoref-Brill (ICST, 2014)

Lattice-Based Semantics for Combinatorial Model Evolution. - Rachel Tzoref-Brill; Shahar Maoz (ATVA, 2015)

Combining minimization and generation for combinatorial testing. - Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST Workshops, 2015)

Feedback-driven combinatorial test design and execution. - Itai Segall; Rachel Tzoref-Brill (SYSTOR, 2015)

Combinatorial Testing: From Algorithms to Applications. - Angelo Gargantini; Rachel Tzoref-Brill (ICST Workshops, 2016)

Coverage-based metrics for cloud adaptation. - Yonit Magid; Rachel Tzoref-Brill; Marcel Zalmanovici (QUDOS@ISSTA, 2016)

Visualization of combinatorial models and test plans. - Rachel Tzoref-Brill; Paul A. Wojciak; Shahar Maoz (ASE, 2016)

Cluster-based test suite functional analysis. - Marcel Zalmanovici; Orna Raz; Rachel Tzoref-Brill (SIGSOFT FSE, 2016)

Syntactic and semantic differencing for combinatorial models of test designs. - Rachel Tzoref-Brill; Shahar Maoz (ICSE, 2017)

General Message from the IWCT Workshop Chairs. - Dimitris E. Simos; Rachel Tzoref-Brill (ICST Workshops, 2017)

IWCT 2017 Organizers. - Dimitris E. Simos; Rachel Tzoref-Brill (ICST Workshops, 2017)

Proactive and pervasive combinatorial testing. - Dale Blue; Orna Raz; Rachel Tzoref-Brill; Paul A. Wojciak; Marcel Zalmanovici (ICSE (SEIP), 2018)

Modify, enhance, select: co-evolution of combinatorial models and test plans. - Rachel Tzoref-Brill; Shahar Maoz (ESEC/SIGSOFT FSE, 2018)

Practical Fault Localization with Combinatorial Test Design. - Dale Blue; Andrew Hicks; Ryan Rawlins; Rachel Tzoref-Brill (ICST Workshops, 2019)

Bridging the gap between ML solutions and their business requirements using feature interactions. - Guy Barash; Eitan Farchi; Ilan Jayaraman; Orna Raz; Rachel Tzoref-Brill; Marcel Zalmanovici (ESEC/SIGSOFT FSE, 2019)

Chapter Two - Advances in Combinatorial Testing. - Rachel Tzoref-Brill (Adv. Comput., 2019)

Comprehension and Evolution of Combinatorial Models and Test Plans - Rachel Tzoref-Brill (2019)

Comprehension and Evolution of Combinatorial Models and Test Plans. - Rachel Tzoref (ACM SIGSOFT Softw. Eng. Notes, 2020)

CRAWLABEL: Computing Natural-Language Labels for UI Test Cases. - Yu Liu 079; Rahulkrishna Yandrapally; Anup K. Kalia; Saurabh Sinha; Rachel Tzoref-Brill; Ali Mesbah 001 (AST@ICSE, 2022)

TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage. - Rachel Tzoref-Brill; Saurabh Sinha; Antonio Abu Nassar; Victoria Goldin; Haim Kermany (ICST, 2022)

Carving UI Tests to Generate API Tests and API Specification. - Rahulkrishna Yandrapally; Saurabh Sinha; Rachel Tzoref-Brill; Ali Mesbah 001 (ICSE, 2023)

Enhancing REST API Testing with NLP Techniques. - Myeongsoo Kim; Davide Corradini; Saurabh Sinha; Alessandro Orso; Michele Pasqua; Rachel Tzoref-Brill; Mariano Ceccato (ISSTA, 2023)

Statistical Modeling and Uncertainty Estimation of LLM Inference Systems. - Kaustabha Ray; Nelson Mimura Gonzalez; Bruno Wassermann; Rachel Tzoref-Brill; Dean H. Lorenz (CoRR, 2025)