Service

Current Activities

• Member of the Organizing Committee for the Fuzzing Workshop 2026
• PC member for the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2026
• PC member for the IEEE/ACM Automated Software Engineering (ASE) conference 2026
• PC member for the ACM International Conference on the Foundations of Software Engineering (FSE) 2026
• Artifact Evaluation Chair for the International Conference on Fundamental Approaches to Software Engineering (FASE) 2026
• PC member for the IEEE/ACM International Conference on Software Engineering (ICSE) 2027

All Activities

Organisation

• International Fuzzing Workshop (Organizing Committee) in 2023, 2024, 2025, and 2026
• FASE 2026 (Artifact Evaluation Chair)
• Google Summer of Code (GSoC) (Organization Administrator for Java PathFinder) in 2021, 2022, 2024, and 2025
• ASE 2025 (Proceedings Co-Chair)
• ISSTA 2025 (Publicity Co-Chair)
• ESEC/FSE 2022 (Local Organization Co-Chair)
• JPF Workshop 2022 (Co-Organizer)
• International Fuzzing Workshop 2022 (Artifact Evaluation Committee Chair)
• SCAM 2021 (NIER Track co-chair)
• A-TEST 2020 (Online Tutorials Session Chair)

Conference Committees

• Technical Track, International Conference of Software Engineering (ICSE) 2023-2025, 2027
• Technical Track, International Conference on the Foundations of Software Engineering (FSE) 2026
• Technical Track, International Symposium on Software Testing and Analysis (ISSTA) 2022-2024, 2026
• Technical Track, International Conference on Automated Software Engineering (ASE) 2022, 2025, and 2026
• Poster Track: ICSE 2022, FSE 2024
• Tool Demonstrations Track: ISSTA 2024, FSE 2025

Journal Reviewing

• TOSEM Review Committee (two-year appointment) in 2026-2027
• Member of ACM TOSEM Board of Distinguished Reviewers 2020-2025
• IEEE Transactions on Software Engineering (TSE) in 2021, 2024 and 2025
• Science of Computer Programming (SCICO) in 2023-2024
• Communications of the ACM (CACM) in 2023
• IEEE Transactions on Dependable and Secure Computing (TDSC) in 2019, and 2021-2023
• Journal of Systems and Software (JSS) in 2021
• Journal of Empirical Software Engineering (EMSE) in 2019 and 2024
• Journal of Automated Software Engineering (AUSE) in 2019

Supervision of Researchers in Early Career Phases

• Jul 2025 - present, PhD Student, RUB, Samra Mehboob, "Agentic Systems for Debugging and Code Review"
• Mar 2025 - present, PhD Student, RUB, Thiago Santos de Moura, "Neuro-Symbolic Testing and Repair"
• Jan 2024 - Apr 2024, PhD Student, SUTD, Ma Yinhui, transferred advisor due to university change

Mentoring / Thesis Supervision

• Bachelor Thesis, RUB, 2025, Manhal Jasem, "Assessing the Robustness of Script-Free GUI Testing in Evolving Web Applications"
• Bachelor Thesis, RUB, 2025, Keanu-Wesley Schurkus, "Automating Test-Case Adaptation and Integration in Fork Ecosystems Using Large Language Models"
• Master Thesis, SUTD, 2025, Abram Tan Jia Han, "DevSide: Intelligent Mentoring System for Software Engineers"
• Bachelor Thesis, RUB, 2025, Phil Großcurth, "Enhancing Evolutional Repair with LLM-Based Test Oracle Extraction"
• Bachelor Thesis, RUB, 2024, Oskar Wilke, "Exploring the Use of Large Language Models and Code Refactoring for Software Variability"
• Master Thesis, NUS, 2023, Sung Yong Kim, "Analysis on Large Language Model vulnerable code generation and self-repair ability"
• Final Year Project (FYP), NUS, 2023, Christopher Goh Zhen Fung, "Fixing of compilation errors in Intelligent Tutoring"
• Final Year Project (FYP), NUS, 2023, Ethan Noah Rozario, "Feedback presentation in Intelligent Tutoring"
• Final Year Project (FYP), NUS, 2022, Guo Ai, "Design of Intelligent Tutoring Systems for Programming Education (feedback to students)"
• Final Year Project (FYP), NUS, 2022, Jon Chua, "Design of Intelligent Tutoring Systems for Programming Education (feedback computation)"
• Google Summer of Code (GSoC) 2022 Mentor for "Add Gradle support for SymbolicPathFinder"
• Google Summer of Code (GSoC) 2021 Mentor for "Improved Integration of String Solvers in SPF"
• Google Summer of Code (GSoC) 2021 Mentor for "Using Lightweight Specifications with Fuzzing and Symbolic Execution to Reveal Security and Semantic Bugs"
• Google Summer of Code (GSoC) 2020 Mentor for "Symbolic PathFinder for Neural Network Analysis"
• Google Summer of Code (GSoC) 2019 Mentor for "Checking Assertions with Symbolic Pathfinder"
• Master Thesis, HU Berlin, 2019, Minxing Tang, "Automated Generation of Crash-triggering Paths with Symbolic Execution"
• Bachelor Thesis, HU Berlin, 2017, Hoang Lam Nguyen, "Automated Test Case Generation with Symbolic Execution for Regression Testing"

Others

• Artifact Reviewing: iFM 2022, ISSTA'2021, ISSTA'2020, VMCAI'2020
• Subreviewing: ESOP 2021, ICSE'2020, FMCAD'2020, TACAS'2019, ICST'2018, ICSE'2017, ASE'2017, ASE'2016
• Shadow PC member for the IEEE Symposium on Security and Privacy (S&P) in 2021
• Reviewer for the IEEE S&P Trojan Horse Award in 2021