Our laboratory works on assuring and testing programs that are highly-configurable, self-adaptive and self-healing. Configurability (or variability) describes how a program can be customized and instantiated as a family of programs. Mo
Automatically detecting, diagnosing and fixing bugs/vulnerabilities in software.
Machine learning for code.
Analyzing machine learning systems for reliability, safety and effective learning.