Empirical Software Engineering (ESE)
Prof. Dr. rer. nat. Stefan Wagner
The Empirical Software Engineering Research Group uses empirical and behavioural research methods to understand real-world software engineering, develop solutions to problems in practice and evaluate these solutions. Our main focus areas are software quality (including testing and analysis), requirements engineering, safety and security, agile and continuous software engineering.
Software Lab: Program Analysis (SOLA)
Prof. Dr. sc. Michael Pradel
The "Software Lab: Program Analysis" is a research group that focuses on tools and techniques for building reliable, efficient, and secure software. To this end, we work on testing and analysis of complex software systems. As part of our research, we have contributed to techniques that detected thousands of bugs in widely used software.
Software Quality and Architecture (SQA)
Prof. Dr.-Ing. Steffen Becker
The Software Quality and Architecture group deals with methods, languages, and tools to engineer the quality of software systems. Software quality is the level to which a software system meets its requirements beyond the functional correctness, i.e., performance, reliability, safety, maintainability, scaleability, elasticity, cost- and energy-efficiency, etc. Our methods help software architects, developers, and operators to design systems efficiently to meet their quality reqirements and to help them monitor and ensure them at runtime.