Obfuscation Study
You can download the encrypted archive containing the obfuscated scripts here. In order to obtain the extraction key, please send us a short email describing how you plan to use the scripts.
News and Events
1/2026: Our survey on bug datasets will appear in ACM CSUR.
12/2025: Our work on ChaCo, a novel technique for PR-based test augmentation, will be presented at ICSE'26.
11/2025: Our ASE'25 paper on understanding software engineering agents has received an ACM SIGSOFT Distinguished Award.
11/2025: Welcome to Pascal Joos, who is joining the group as a PhD student.
10/2025: Our papers on mapping code regions across commits and on generating issue-reproducing tests have been accepted to ICSE'26.
10/2025: Welcome to Geraldine (aka Widni), who is joining the group as a PhD student.
9/2025: Our article on Agentic AI Software Engineers will appear in the Communications of the ACM (CACM).
8/2025: Our papers on understanding agent trajectories and program reduction for WebAssembly will be presented at ASE'25.
7/2025: Checkout NoCode-bench (paper, leaderboard), our new benchmark for evaluating LLMs on NL-driven feature addition tasks.
6/2025: Three papers accepted at ICSE'26.
5/2025: Matteo has successfully defended his PhD thesis on "Testing and Analysis of Quantum Software". Congrats!
5/2025: Group retreat in Maulbronn.
5/2025: Our MSR'25 paper on using LLMs for annotating software engineering artifacts has received an ACM SIGSOFT Distinguished Paper Award.
4/2025: Big news: Starting from September, the Software Lab will join CISPA, where Michael will be a faculty member while remaining a professor at the University of Stuttgart.
4/2025: Our work on DyLin, a dynamic linter for Python, will be presented at FSE'25.
4/2025: Our paper on ExecutionAgent has been accepted at ISSTA'25.
3/2025: Welcome to Cristian Cadar, who is joining the lab as a visiting professor supported by a Humboldt Research Award (picture).
3/2025: Don't like regressions? Checkout Testora, which detects regressions by leveraging the natural language information provided in pull requests.
3/2025: Michael will serve as PC co-chair of FSE 2027.
3/2025: Doehyun is joining the group as a PhD student. Welcome!
2/2025: Opinion article on agentic-AI-based software engineering.
1/2025: Our work on Treefix, an LLM-based approach toward learning-guided execution, will be presented at ICSE'25.
1/2025: Two papers accepted at FSE'25: (i) validating code changes via learning-guided execution and (ii) a study of suppressed static analysis warnings.
1/2025: Our paper on using LLMs instead of manual annotation of software engineering artifacts will be presented at MSR'25.
12/2024: Need to build and test a project? Check out ExecutionAgent, our new technique for automatically installing, configuring, and testing arbitrary software projects.
11/2024: Welcome to Jialun Cao, who is joining the lab as a visiting professor.
11/2024: Our work on RepairAgent, an autonomous LLM agent for program repair, will be presented at ICSE'25.
10/2024: Welcome to Zhongxin Liu, who is joining the lab as a visiting professor.
7/2024: We have an opening for a(nother) full professor in Software Engineering at the University of Stuttgart.
7/2024: Our work on calibration and correctness of LLMs for code will appear at ICSE'25.
7/2024: Michael is joining UCLA for part two of his sabbatical.
6/2024: Wasm-R3, the first record-and-replay technique for WebAssembly, will be presented at OOPSLA'24. Congrats to everyone involved in this CMU-Google-KAIST-Stuttgart collaboration.
4/2024: LintQ, our static analysis framework for checking quantum programs, will be presented at FSE'24.
3/2024: Introducing RepairAgent, the first autonomous, LLM-based agent for automated program repair.
2/2024: Michael is joining UC Berkeley for a sabbatical.
2/2024: Luca has successfully defended his PhD thesis on "Supporting Software Evolution via Search and Prediction" and is starting a post-doc at USI Lugano.
1/2024: DyPyBench, a novel benchmark of executable Python code, will be presented at FSE'24.
12/2023: Our paper on repairing static type errors in Python will be presented at ICSE'24.
12/2023: ACM SIGSOFT Distinguished Paper Award for our work on LExecutor.
10/2023: Our work on universal fuzzing with large language models will be presented at ICSE'24.
9/2023: Daniel receives the infos award for the best PhD thesis of the year 2022 in our Computer Science Department. Congrats!
8/2023: Our empirical study of workflows of GitHub Actions will be presented at ICSE'24.
8/2023: Group retreat at Obermarchtal.
7/2023: Our work on LExecutor will be presented at FSE'23. Congrats to Beatriz on the first top-tier paper during her PhD!
7/2023: Two awards at ISSTA'23: An ACM SIGSOFT Distinguished Paper Award for bimodal taint analysis and an ACM SIGSOFT Distinguished Artifact Award for our work on WebAssembly call graphs.
7/2023: Co-organizing two Dagstuhl seminars in 2024: Code Search (April) and Automated Programming and Program Repair (October).
6/2023: Thanks to Prem Devanbu for the amazing time we had during his five-month visit of our lab.
5/2023: Interested in call graphs and/or WebAssembly? Check out our new ISSTA'23 paper.
5/2023: Luca is heading out for an internship at Uber. Have fun!
4/2023: Beatriz is joining the group as a PhD student.
2/2023: Prem Devanbu is joining the lab for five months with a Humboldt Research Award. Welcome!
2/2023: Fun and inspiring Dagstuhl seminar on Programming Language Processing.
1/2023: Our paper on bimodal taint analysis will be presented at ISSTA'23.
12/2022: Four papers accepted at ICSE'23. Congrats to everyone involved!
12/2022: Michael gets recognized as an ACM Distinguished Member.
11/2022: Our work on DiffSearch (paper, tool) will appear in IEEE TSE.
10/2022: Islem wins the ACM Student Research Competition at ASE'22 for his work on detecting inconsistencies in if-condition-raise statements.
10/2022: Our ASE'22 paper on CrystalBLEU has been selected for an ACM SIGSOFT Distinguished Paper Award.
10/2022: Our survey of code search techniques will appear in ACM CSUR.
10/2022: Huimin Hu is joining the group as a PhD student. Welcome!
9/2022: Our paper on type annotations in Python is receiving an ACM SIGSOFT Distinguished Paper Award at FSE'22.
9/2022: Michael will serve as PC Chair of ISSTA 2024.
7/2022: Our work on CrystalBLEU, a novel metric for measuring the similarity of code, will be presented at ASE'22. Congrats to Aryaz!
7/2022: Daniel successfully (with summa cum laude) defends his PhD on program analysis for WebAssembly. Congrats!
6/2022: Three papers accepted at FSE'22, on Python type annotations, on the first dynamic analysis framework for Python, and on neural code editing to generate vulnerabilities.
5/2022: Luca wins the 2nd prize in the ACM Student Research Competition at ICSE'22 for his work on DiffSearch. Congrats!
5/2022: Looking for particular kinds of code changes, e.g., to build a dataset? Check out DiffSearch, our scalable and precise search engine for code changes.
5/2022: Group retreat at Schloss Hornberg.
3/2022: Our paper on recovering precise types in WebAssembly binaries will appear at PLDI'22.
3/2022: Our paper on bugs in quantum computing platforms will appear at OOPSLA'22.
2/2022: Interview with Deutschlandfunk (one of three German national radio stations) on neural software analysis.