The REVEAL (Reverse Engineering, Visualization, Evolution Analysis Lab) group carries out research in diverse aspects of how to ease the comprehension and evolution of large and complex software systems. Current research is focused on software visualization, mining software repositories, collaborative development, and novel integrated development environments.
The Software Testing and Analysis Research group focuses on the definition of techniques to design and develop high-quality software systems. Our research addresses both effective software quality practices and emerging software engineering paradigms: software testing, static and dynamic program analysis, symbolic execution, design of self-healing systems, adaptive services management, and cloud applications design.
The design group is interested in interdisciplinary research around all aspects of the architecture, design and engineering of next-generation Web information systems.
The SAPE research group is interested in the area between programming languages, runtime systems, and software engineering, with a focus on the efficiency of software, its users, and its developers.