Rachel Tzoref-Brill  Rachel Tzoref-Brill photo       

contact information

Researcher
Haifa Research Lab, Haifa, Israel

links


profile


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 410 293
h-index 12 10
i10-index 14 10

 



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

visit tracker on tumblr