Rachel Tzoref-Brill  Rachel Tzoref-Brill photo       

contact information

Researcher
Haifa Research Lab, Haifa, Israel

links



2016

Modeling Test Space for System behavior with Optional Variable combinations
Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
Patent 9262307

Attribute Value Properties for Test Selection with Cartesian Product Models
Eitan Farchi, Howard Hess, Rachel Tzoref-Brill, Aviad Zlotnick
Patent 9244819


2015

Test Planning Based on Dynamic Coverage Analysis
Itai Segall, Rachel Tzoref-Brill
Patent 9218271

Completion of Partial Coverage Tasks
Rachel Tzoref-Brill
Patent 9015012

Method and Apparatus for Determining Relevance of Aassignments in Combinatorial Models
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill
Patent 8990626

Automatic Designation of Equivalent Variable Values
Eitan Farchi, Itai Segall, Rachel Tzoref-Brill
Patent 8954310


2014

Explaining Illegal Combinations in Combinatorial Models
Sharon Keidar-Barner, Itai Segall, Rachel Tzoref-Brill
Patent 8914757

Test Validation Planning
Howard Hess, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
Patent 8887112

Utilizing Auxiliary Variables in Modeling Test Space for System Behavior
Steven Mittermaier, Itai Segall, Rachel Tzoref-Brill, Avi Ziv
Patent 8868977

Visual Representation of a Difference between Cartesian Product Models
Rachel Tzoref-Brill
Patent 8813036

Measuring Coupling Between Coverage Tasks and Use Thereof
Yoram Adler, Moshe Klausner, Orna Raz, Onn Shehory, Rachel Tzoref, Aviad Zlotnick
Patent 8719799

Measuring Coupling Between Coverage Tasks and Use Thereof
Yoram Adler, Moshe Klausner, Orna Raz, Onn Shehory, Rachel Tzoref, Aviad Zlotnick
Patent 8719789
US Patent 8,719,789

BDD-Based Functional Coverage Analysis
Itai Segall, Rachel Tzoref-Brill
Patent 8656341

Test Selection based on an n-wise Combinations Coverage
Dale Blue, Rachel Tzoref-Brill
Patent 8756460


2013

Performance Optimization Based on Data Accesses During Critical Sections
Moshe Klausner, Roni Kupershtok, Rachel Tzoref, Yaakov Yaari
Patent 8612952

Congestion Control Using Application Slowdown
Maayan Goldstein, Onn Sheory, Rachel Tzoref, Shmuel Ur
Patent 8593946

BDD-Based Functional Modeling
Itai Segall, Rachel Tzoref-Brill, Tatyana Veksler
Patent 8595676

Satisfiability (SAT) based bounded model checkers
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
Patent 8489380

Improved Synchronization Coverage in Logic Code
Ehud Trainin, Rachel Tzoref, Aviad Zlotnick
Patent 8561031

Synchronization Coverage in Logic Code
Ehud Trainin, Rachel Tzoref, Aviad Zlotnick
Patent 8561030
US Patent 8,561,030

Detecting Locking Discipline Violations on Shared Resources
Yarden Nir-Buchbinder, Rachel Tzoref, Orna Raz, Aviad Zlotnick, Shmuel Ur
Patent 8479166

Device, System and Method of Debugging Computer Programs
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur
Patent 8356287


2012

Satisfiability (SAT) based bounded model checkers
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
Patent 8108195


2010

Satisfiability (SAT) based bounded model checkers
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
Patent 7835898

Deadlock prevention in a computing environment
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur
Patent 7783806