Prof. Ray, in particular, is interested in testing and debugging large-scale real-world systems—ranging from traditional logic-based systems to more recent AI-driven systems like self-driving cars, malware detection tools, etc. She builds novel program analysis techniques to analyze existing system properties and apply advanced machine learning models to learn from those properties. Such models are then used to automate development, testing, debugging, and fixing of real-world large-scale software.