Rachel Tzoref-Brill  Rachel Tzoref-Brill photo       

contact information

Haifa Research Lab, Haifa, Israel



I am a research staff member at IBM Haifa research lab since 2001. I am an IBM master inventor. Since 2008 I am the owner of the IBM Functional Coverage Unified Solution (IBM FOCUS) tool.

My main areas of research are combinatorial testing, functional coverage analysis, formal verification, and concurrency testing and debugging. Currently I am researching techniques to increase the applicability of combinatorial testing, including adoption of formal methods.

I completed my M.Sc at the Technion, Israel Institute of Technology, under the supervision of Prof. Orna Grumberg. My M.Sc thesis was on automatic refinement and vacuity detection for symbolic trajectory evaluation. I am currently studying for my PhD on model-based testing at the School of Computer Science, Tel Aviv University, under the supervision of Dr. Shahar Maoz.

A complete list of my publications appears in the publications tab.


Citations to my publications


  All Since 2012
Citations 427 321
h-index 12 10
i10-index 15 11


Welcome, you are visitor number StatCounter - Free Web Tracker and Counter

visit tracker on tumblr