Rachel Tzoref-brill 

Biography

I am a research staff member and an IBM Master Inventor at IBM Research, Haifa. I'm interested in all quality aspects of software development and in finding ways to increase the applicability of research technologies to help improve software quality in industrial settings. Areas of interest include but are not limited to combinatorial testing, formal verification, and empirical software engineering.  As part of my work on combinatorial testing I have been developing the IBM Functional Coverage Unified Solution (IBM FOCUS) tool and deploying it in IBM. The value of combinatorial testing and FOCUS were acknowledged by an IBM Corporate Award. Since 2016, I've been co-chairing the annual International Workshop on Combinatorial Testing (IWCT). I recently authored a chapter titled 'Advances in Combinatorial Testing' in the book series Advances in Computers (to appear in an upcoming volume). 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 comprehension and evolution of combinatorial models and test plans at the School of Computer Science, Tel Aviv University, under the supervision of Dr. Shahar Maoz. I am a research staff member and an IBM Master Inventor at IBM Research, Haifa. I'm interested in all quality aspects of software development and in finding ways to increase the applicability of research technologies to help improve software quality in industrial settings. Areas of interest include but are not limited to combinatorial testing, formal verification, and empirical software engineering.  As part of my work on combinatorial testing I have been developing the IBM Functional Coverage Unified Solution (IBM FOCUS) tool and deploying it in IBM. The value of combinatorial testing and FOCUS were acknowledged by an IBM Corporate Award. Since 2016, I've been co-chairing the annual International Workshop on Combinatorial Testing (IWCT). I recently authored a chapter titled 'Advances in Combinatorial Testing' in the book series Advances in Computers (to appear in an upcoming volume). 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 comprehension and evolution of combinatorial models and test plans at the School of Computer Science, Tel Aviv University, under the supervision of Dr. Shahar Maoz.

Research Interest

I'm interested in all quality aspects of software development and in finding ways to increase the applicability of research technologies to help improve software quality in industrial settings. Areas of interest include but are not limited to combinatorial testing, formal verification, and empirical software engineering.