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 had quite some impact 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—see our papers for details. 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 these days is The Fuzzing Book—an interactive textbook on test generation (“fuzzing”) techniques. You can execute and edit the code right in your browser.
In Summer 2020, we will offer a seminar on advanced testing and debugging. Details to follow soon!
At CISPA and Saarland University, I work with great students and Post-Docs from across the world on cutting-edge research.
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.
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:
These days, I spend quite some time giving career advice. In my ICSE 2018 SIGSOFT Award keynote, I unfold lessons on impact in software engineering research:
Slides and manuscript are available, too.
All relevant events regarding our work are posted on Twitter.