Rachel Tzoref

According to our database, Rachel Tzoref authored at least 40 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Enhancing REST API Testing with NLP Techniques.

Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Carving UI Tests to Generate API Tests and API Specification.

Rahulkrishna Yandrapally, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

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

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

CRAWLABEL: Computing Natural-Language Labels for UI Test Cases.

Yu Liu, Rahulkrishna Yandrapally, Anup K. Kalia, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2020

Comprehension and Evolution of Combinatorial Models and Test Plans.

Rachel Tzoref

ACM SIGSOFT Softw. Eng. Notes, 2020

2019

Comprehension and Evolution of Combinatorial Models and Test Plans

Rachel Tzoref-Brill

PhD thesis, 2019

Chapter Two - Advances in Combinatorial Testing.

Rachel Tzoref-Brill

Adv. Comput., 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

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Practical Fault Localization with Combinatorial Test Design.

Dale Blue, Andrew Hicks, Ryan Rawlins, Rachel Tzoref-Brill

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

Modify, enhance, select: co-evolution of combinatorial models and test plans.

Rachel Tzoref-Brill, Shahar Maoz

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Proactive and pervasive combinatorial testing.

Dale Blue, Orna Raz, Rachel Tzoref-Brill, Paul A. Wojciak, Marcel Zalmanovici

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017

IWCT 2017 Organizers.

Dimitris E. Simos, Rachel Tzoref-Brill

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

General Message from the IWCT Workshop Chairs.

Dimitris E. Simos, Rachel Tzoref-Brill

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Syntactic and semantic differencing for combinatorial models of test designs.

Rachel Tzoref-Brill, Shahar Maoz

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Cluster-based test suite functional analysis.

Marcel Zalmanovici, Orna Raz, Rachel Tzoref-Brill

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Visualization of combinatorial models and test plans.

Rachel Tzoref-Brill, Paul A. Wojciak, Shahar Maoz

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Coverage-based metrics for cloud adaptation.

Yonit Magid, Rachel Tzoref-Brill, Marcel Zalmanovici

Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

Combinatorial Testing: From Algorithms to Applications.

Angelo Gargantini, Rachel Tzoref-Brill

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015

Feedback-driven combinatorial test design and execution.

Itai Segall, Rachel Tzoref-Brill

Proceedings of the 8th ACM International Systems and Storage Conference, 2015

Combining minimization and generation for combinatorial testing.

Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Lattice-Based Semantics for Combinatorial Model Evolution.

Rachel Tzoref-Brill, Shahar Maoz

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study.

Paul A. Wojciak, Rachel Tzoref-Brill

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Combinatorial Testing with Order Requirements.

Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Using Projections to Debug Large Combinatorial Models.

Eitan Farchi, Itai Segall, Rachel Tzoref-Brill

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Interaction-based test-suite minimization.

Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Common Patterns in Combinatorial Models.

Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Simplified Modeling of Combinatorial Test Spaces.

Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Interactive refinement of combinatorial test plans.

Itai Segall, Rachel Tzoref-Brill

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Using binary decision diagrams for combinatorial test design.

Itai Segall, Rachel Tzoref-Brill, Eitan Farchi

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Improving throughput via slowdowns.

Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

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

Proceedings of the Runtime Verification, 9th International Workshop, 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, Eitan Farchi

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

2008

Deadlocks: From Exhibiting to Healing.

Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur

Proceedings of the Runtime Verification, 8th International Workshop, 2008

Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.

Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Experience with a Concurrency Bugs Benchmark.

Yaniv Eytani, Rachel Tzoref, Shmuel Ur

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2007

Instrumenting where it hurts: an automatic concurrent debugging technique.

Rachel Tzoref, Shmuel Ur, Elad Yom-Tov

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Healing data races on-the-fly.

Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar

Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

2006

Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation.

Rachel Tzoref, Orna Grumberg

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Supporting SAT based BMC on Finite Path Models.

Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref

Proceedings of the Third International Workshop on Bounded Model Checking, 2005

2003

An Optimized Symbolic Bounded Model Checking Engine.

Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer

Proceedings of the Correct Hardware Design and Verification Methods, 2003