default search action

combined dblp search
author search
venue search
publication search

ask others

Rachel Tzoref

Rachel Tzoref-Brill

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YandrapallySTM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YandrapallySTM23
Rahulkrishna Yandrapally, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah:
Carving UI Tests to Generate API Tests and API Specification. ICSE 2023: 1971-1982
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KimCSOPTC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KimCSOPTC23
Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato:
Enhancing REST API Testing with NLP Techniques. ISSTA 2023: 1232-1243
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-14692
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-14692
Rahulkrishna Yandrapally, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah:
Carving UI Tests to Generate API Tests and API Specification. CoRR abs/2305.14692 (2023)
2022
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ast/LiuYKSTM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ast/LiuYKSTM22
Yu Liu, Rahulkrishna Yandrapally, Anup K. Kalia, Saurabh Sinha, Rachel Tzoref-Brill, Ali Mesbah:
CRAWLABEL: Computing Natural-Language Labels for UI Test Cases. AST@ICSE 2022: 103-114
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/Tzoref-BrillSNG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/Tzoref-BrillSNG22
Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany:
TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage. ICST 2022: 444-455
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Tzoref20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Tzoref20
Rachel Tzoref:
Comprehension and Evolution of Combinatorial Models and Test Plans. ACM SIGSOFT Softw. Eng. Notes 45(3): 23-24 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  - electronic edition @ exlibrisgroup.com
  - details & citations
- export record
  dblp key:
  - phd/il/TzorefBrill19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/il/TzorefBrill19
Rachel Tzoref-Brill:
Comprehension and Evolution of Combinatorial Models and Test Plans. Tel Aviv University, Israel, 2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/Tzoref-Brill19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/Tzoref-Brill19
Rachel Tzoref-Brill:
Chapter Two - Advances in Combinatorial Testing. Adv. Comput. 112: 79-134 (2019)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/BlueHRT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/BlueHRT19
Dale Blue, Andrew Hicks, Ryan Rawlins, Rachel Tzoref-Brill:
Practical Fault Localization with Combinatorial Test Design. ICST Workshops 2019: 268-271
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BarashFJRTZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BarashFJRTZ19
Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, Marcel Zalmanovici:
Bridging the gap between ML solutions and their business requirements using feature interactions. ESEC/SIGSOFT FSE 2019: 1048-1058
2018
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BlueRTWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BlueRTWZ18
Dale Blue, Orna Raz, Rachel Tzoref-Brill, Paul A. Wojciak, Marcel Zalmanovici:
Proactive and pervasive combinatorial testing. ICSE (SEIP) 2018: 144-152
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Tzoref-BrillM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Tzoref-BrillM18
Rachel Tzoref-Brill, Shahar Maoz:
Modify, enhance, select: co-evolution of combinatorial models and test plans. ESEC/SIGSOFT FSE 2018: 235-245
2017
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Tzoref-BrillM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Tzoref-BrillM17
Rachel Tzoref-Brill, Shahar Maoz:
Syntactic and semantic differencing for combinatorial models of test designs. ICSE 2017: 621-631
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SimosT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SimosT17
Dimitris E. Simos, Rachel Tzoref-Brill:
General Message from the IWCT Workshop Chairs. ICST Workshops 2017: 159-160
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SimosT17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SimosT17a
Dimitris E. Simos, Rachel Tzoref-Brill:
IWCT 2017 Organizers. ICST Workshops 2017: 161
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/2017
Ofer Strichman, Rachel Tzoref-Brill:
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings. Lecture Notes in Computer Science 10629, Springer 2017, ISBN 978-3-319-70388-6 [contents]
2016
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GargantiniT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GargantiniT16
Angelo Gargantini, Rachel Tzoref-Brill:
Combinatorial Testing: From Algorithms to Applications. ICST Workshops 2016: 17-18
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MagidTZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MagidTZ16
Yonit Magid, Rachel Tzoref-Brill, Marcel Zalmanovici:
Coverage-based metrics for cloud adaptation. QUDOS@ISSTA 2016: 1-6
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Tzoref-BrillWM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Tzoref-BrillWM16
Rachel Tzoref-Brill, Paul A. Wojciak, Shahar Maoz:
Visualization of combinatorial models and test plans. ASE 2016: 144-154
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ZalmanoviciRT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ZalmanoviciRT16
Marcel Zalmanovici, Orna Raz, Rachel Tzoref-Brill:
Cluster-based test suite functional analysis. SIGSOFT FSE 2016: 962-967
2015
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Tzoref-BrillM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Tzoref-BrillM15
Rachel Tzoref-Brill, Shahar Maoz:
Lattice-Based Semantics for Combinatorial Model Evolution. ATVA 2015: 276-292
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SegallTZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SegallTZ15
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Combining minimization and generation for combinatorial testing. ICST Workshops 2015: 1-9
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/systor/SegallT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/systor/SegallT15
Itai Segall, Rachel Tzoref-Brill:
Feedback-driven combinatorial test design and execution. SYSTOR 2015: 12:1-12:6
2014
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/WojciakT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/WojciakT14
Paul A. Wojciak, Rachel Tzoref-Brill:
System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study. ICST 2014: 103-112
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/FarchiSTZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/FarchiSTZ14
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Combinatorial Testing with Order Requirements. ICST Workshops 2014: 118-127
2013
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BlueSTZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BlueSTZ13
Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Interaction-based test-suite minimization. ICSE 2013: 182-191
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/FarchiST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/FarchiST13
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill:
Using Projections to Debug Large Combinatorial Models. ICST Workshops 2013: 311-320
2012
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SegallT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SegallT12
Itai Segall, Rachel Tzoref-Brill:
Interactive refinement of combinatorial test plans. ICSE 2012: 1371-1374
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SegallTZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SegallTZ12
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Simplified Modeling of Combinatorial Test Spaces. ICST 2012: 573-579
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/SegallTZ12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/SegallTZ12a
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Common Patterns in Combinatorial Models. ICST 2012: 624-629
2011
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/SegallTF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/SegallTF11
Itai Segall, Rachel Tzoref-Brill, Eitan Farchi:
Using binary decision diagrams for combinatorial test design. ISSTA 2011: 254-264
2010
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GoldsteinSTU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GoldsteinSTU10
Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur:
Improving throughput via slowdowns. ICSE (2) 2010: 11-20

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TraininNTZUF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TraininNTZUF09
Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi:
Forcing small models of conditions on program interleaving for detection of concurrent bugs. PADTAD 2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KrenaLNTUV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KrenaLNTUV09
Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar:
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. RV 2009: 101-114
2008
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/EytaniTU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/EytaniTU08
Yaniv Eytani, Rachel Tzoref, Shmuel Ur:
Experience with a Concurrency Bugs Benchmark. ICST Workshops 2008: 379-384
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Yom-TovTUH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Yom-TovTUH08
Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory:
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. ASE 2008: 307-316
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Nir-BuchbinderTU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Nir-BuchbinderTU08
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur:
Deadlocks: From Exhibiting to Healing. RV 2008: 104-118
2007
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TzorefUY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TzorefUY07
Rachel Tzoref, Shmuel Ur, Elad Yom-Tov:
Instrumenting where it hurts: an automatic concurrent debugging technique. ISSTA 2007: 27-38
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KrenaLTUV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KrenaLTUV07
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar:
Healing data races on-the-fly. PADTAD 2007: 54-64
2006
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/TzorefG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/TzorefG06
Rachel Tzoref, Orna Grumberg:
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. CAV 2006: 190-204
2005
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GeistGLRST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GeistGLRST06
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref:
Supporting SAT based BMC on Finite Path Models. BMC@CAV 2005: 67-77
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/TzorefMBB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/TzorefMBB03
Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer:
An Optimized Symbolic Bounded Model Checking Engine. CHARME 2003: 141-149

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.