2019
Chapter Two - Advances in Combinatorial Testing
Rachel Tzoref-Brill
Advances in Computers 112, pp. 79-134, 2019
Rachel Tzoref-Brill
Advances in Computers 112, pp. 79-134, 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, and Marcel Zalmanovici
27th Symposium on the Foundations of Software Engineering (ESEC/FSE), 2019
Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, and Marcel Zalmanovici
27th Symposium on the Foundations of Software Engineering (ESEC/FSE), 2019
Practical Fault Localization with Combinatorial Test Design
Dale Blue, Andrew Hicks, Ryan Rawlins, and Rachel Tzoref-Brill
8th International Workshop on Combinatorial Testing (IWCT), 2019
Dale Blue, Andrew Hicks, Ryan Rawlins, and Rachel Tzoref-Brill
8th International Workshop on Combinatorial Testing (IWCT), 2019
2018
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
Rachel Tzoref-Brill, Shahar Maoz
26th Symposium on the Foundations of Software Engineering (ESEC/FSE), 2018
Rachel Tzoref-Brill, Shahar Maoz
26th Symposium on the Foundations of Software Engineering (ESEC/FSE), 2018
Proactive and Pervasive Combinatorial Testing
Dale Blue, Orna Raz, Rachel Tzoref-Brill, Paul Wojciak, and Marcel Zalmanovici
40th International Conference on Software Engineering (ICSE), 2018
Dale Blue, Orna Raz, Rachel Tzoref-Brill, Paul Wojciak, and Marcel Zalmanovici
40th International Conference on Software Engineering (ICSE), 2018
2017
Syntactic and Semantic Differencing for Combinatorial Models of Test Designs
Rachel Tzoref-Brill, Shahar Maoz
39th International Conference on Software Engineering (ICSE), 2017
Rachel Tzoref-Brill, Shahar Maoz
39th International Conference on Software Engineering (ICSE), 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
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
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
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, Rachel Tzoref-Brill
8th ACM International Systems and Storage Conference (Systor), 2015
Itai Segall, 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
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, Shahar Maoz
13th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2015
Rachel Tzoref-Brill, 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, and Aviad Zlotnick
3rd International Workshop on Combinatorial Testing (IWCT), pp. 118--127, 2014
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, and 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, Rachel Tzoref-Brill
7th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2014
Paul Wojciak, 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
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, and Aviad Zlotnick
35th International Conference on Software Engineering (ICSE), pp. 182-191, 2013
Winner of the ACM SIGSOFT Distinguished Paper Award. Teaser video available
Dale Blue, Itai Segall, Rachel Tzoref-Brill, and Aviad Zlotnick
35th International Conference on Software Engineering (ICSE), pp. 182-191, 2013
Winner of the ACM SIGSOFT Distinguished Paper Award. Teaser video available
2012
Interactive Refinement of Combinatorial Test Plans
Itai Segall, Rachel Tzoref-Brill
34th International Conference on Software Engineering (ICSE), 2012
Itai Segall, Rachel Tzoref-Brill
34th International Conference on Software Engineering (ICSE), 2012
Simplified Modeling of Combinatorial Test Spaces
Itai Segall, Rachel Tzoref-Brill, and Aviad Zlotnick
1st International Workshop on Combinatorial Testing, 2012
Itai Segall, Rachel Tzoref-Brill, and 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
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
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
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
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
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
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
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
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
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
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
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
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
Rachel Tzoref, Mark Matusevich, Eli Berger, and Ilan Beer
Correct Hardware Design and Verification Methods (CHARME), pp. 141-149, Springer, 2003