I do software research. My students and I create tools and techniques that help developers build better software—by automatically testing, analyzing, and debugging its code and its development process.
Our approaches have proven quite influential in academia and industry. My Curriculum Vitae lists the most important achievements.
Our research projects involve generating software tests, automated debugging and repair, analyzing mobile systems, analyzing user interfaces, and more. Essentially, our research focuses on the following questions:
Our solutions typically apply and combine several techniques including dynamic analysis, static analysis, specification mining, test generation, natural language processing, machine learning, and formal languages.
My largest project in 2020 was The Fuzzing Book—an interactive textbook on test generation (“fuzzing”) techniques. You can execute and edit the code right in your browser. In 2021, I published The Debugging Book, which presents and implements a number of techniques for automated debugging and repair.
Every semester, we also offer seminars and proseminars around automated testing and debugging.
Check out our courses here.
At CISPA and Saarland University, I work with great students and Post-Docs from across the world on cutting-edge research:
Dominic Steinhöfel (Post-Doc)
We are constantly looking out for great students and Postdocs. Our positions are well paid and allow for highly productive research. If you’re interested in a PhD or Postdoc position, please apply at CISPA and state your specific interests.
Here is a list of former group members.
If you are a student of Saarland University and have fun with automated program analysis, testing, and debugging, you might want to do a thesis with us. Here are the details on how to do a thesis with us.
My blog has a mixture of various topics from academia and software development, often with a humorous touch. Here is a selection of popular posts:
I am a frequent speaker at events. Here are two recorded talks I am particularly proud of.
In my 2020 CASA Distinguished Lecture “Learning the Language of Failure”, I show some highlights of our current work:
Enjoy the show! Annotated slides are available, too.
These days, I also spend quite some time giving career advice. In my ICSE 2018 SIGSOFT Award keynote, I unfold three lessons on impact in software engineering research:
Again, detailed slides and full manuscript are available.
All relevant events regarding current work are posted on Twitter.