LaVA-OPs: Laboratory for Variability-Aware Assurance and Testing of Organic Programs
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