Rachel Brill

I am a senior technical staff member 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 automatic test generation, Cloud testing and debugging, combinatorial testing, formal verification, concurrency testing, machine learning for software engineering,  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. During 2016-2018, I co-chaired the annual International Workshop on Combinatorial Testing (IWCT). In 2019, I authored a chapter titled 'Advances in Combinatorial Testing' in the book series Advances in Computers.

In recent years I've been working in the area of Application Modernization. As part of the open source Konveyor community, I've been co-leading the development of TackleTest, an open source tool for automatic generation of unit and UI test cases, to assist in verifying that the functionality of the migrated application remains intact. 

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 completed 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 won an ACM SIGSOFT Outstanding Doctoral Dissertation Award for my dissertation.