The Software Lab is a research group in the Department of
Computer Science of University of Stuttgart led by Michael Pradel. Our research 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.