Can LLM Generate Regression Tests for Software Commits? - Jing Liu; Seongmin Lee; Eleonora Losiouk; Marcel Böhme (CoRR, 2025)

On the Impact of Lower Recall and Precision in Defect Prediction for Guiding Search-based Software Testing - Anjana Perera; Burak Turhan; Aldeida Aleti; Marcel Böhme (ACM Trans. Softw. Eng. Methodol., 2024)

Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures - Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom (Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024, 2024)

Extrapolating Coverage Rate in Greybox Fuzzing - Danushka Liyanage; Seongmin Lee; Chakkrit Tantithamthavorn; Marcel Böhme (Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, 2024)

Large Language Model guided Protocol Fuzzing - Ruijie Meng; Martin Mirchev; Marcel Böhme; Abhik Roychoudhury (31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024, 2024)

Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection - Niklas Risse; Marcel Böhme (33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, 2024)

Proceedings of the 3rd ACM International Fuzzing Workshop, FUZZING 2024, Vienna, Austria, 16 September 2024 - Marcel Böhme; Yannic Noller; Laszlo Szekeres (ACM, 2024)

Testing side-channel security of cryptographic implementations against future microarchitectures - Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom (CoRR, 2024)

Guarantees in Software Security - Marcel Böhme (CoRR, 2024)

How Much is Unseen Depends Chiefly on Information About the Seen - Seongmin Lee; Marcel Böhme (CoRR, 2024)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search - Haoxin Tu; Lingxiao Jiang; Marcel Böhme (CoRR, 2024)

Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection - Niklas Risse; Marcel Böhme (CoRR, 2024)

Software Security Analysis in 2030 and Beyond: A Research Roadmap - Marcel Böhme; Eric Bodden; Tevfik Bultan; Cristian Cadar; Yang Liu; Giuseppe Scanniello (CoRR, 2024)

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing - Ruijie Meng; Van-Thuan Pham; Marcel Böhme; Abhik Roychoudhury (CoRR, 2024)

Boosting Fuzzer Efficiency: An Information Theoretic Perspective - Marcel Böhme; Valentin J. M. Manès; Sang Kil Cha (Commun. ACM, 2023)

An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software Testing - Anjana Perera; Aldeida Aleti; Burak Turhan; Marcel Böhme (IEEE Trans. Software Eng., 2023)

Human-in-the-Loop Automatic Program Repair - Charaka Geethal; Marcel Böhme; Van-Thuan Pham (IEEE Trans. Software Eng., 2023)

Continuous Fuzzing: A Study of the Effectiveness and Scalability of Fuzzing in CI/CD Pipelines - Thijs Klooster; Fatih Turkmen; Gerben Broenink; Ruben ten Hove; Marcel Böhme (IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT@ICSE 2023, Melbourne, Australia, May 14, 2023, 2023)

SBFT Tool Competition 2023 - Fuzzing Track - Dongge Liu; Jonathan Metzman; Marcel Böhme; Oliver Chang; Abhishek Arya (IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT@ICSE 2023, Melbourne, Australia, May 14, 2023, 2023)

Evaluating the Impact of Experimental Assumptions in Automated Fault Localization - Ezekiel O. Soremekun; Lukas Kirschner; Marcel Böhme; Mike Papadakis (45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, 2023)

Reachable Coverage: Estimating Saturation in Fuzzing - Danushka Liyanage; Marcel Böhme; Chakkrit Tantithamthavorn; Stephan Lipp (45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, 2023)

Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction - Stephan Lipp; Daniel Elsner; Severin Kacianka; Alexander Pretschner; Marcel Böhme; Sebastian Banescu (Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, 2023)

Precise Data-Driven Approximation for Program Analysis via Fuzzing - Nikhil Parasaram; Earl T. Barr; Sergey Mechtaev; Marcel Böhme (38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023)

Statistical Reachability Analysis - Seongmin Lee; Marcel Böhme (Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, 2023)

Proceedings of the 2nd International Fuzzing Workshop, FUZZING 2023, Seattle, WA, USA, 17 July 2023 - Marcel Böhme; Yannic Noller; Baishakhi Ray; László Szekeres (ACM, 2023)

Finding Bug-Inducing Program Environments - Zahra Mirzamomen; Marcel Böhme (CoRR, 2023)

SBFT Tool Competition 2023 - Fuzzing Track - Dongge Liu; Jonathan Metzman; Marcel Böhme; Oliver Chang; Abhishek Arya (CoRR, 2023)

Limits of Machine Learning for Automatic Vulnerability Detection - Niklas Risse; Marcel Böhme (CoRR, 2023)

Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) - Marcel Böhme; Maria Christakis; Rohan Padhye; Kostya Serebryany; Andreas Zeller; Hasan Ferit Eniser (Dagstuhl Reports, 2023)

FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer - Stephan Lipp; Daniel Elsner; Thomas Hutzelmann; Sebastian Banescu; Alexander Pretschner; Marcel Böhme (44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022, 2022)

Statistical Reasoning About Programs - Marcel Böhme (44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results ICSE (NIER) 2022, Pittsburgh, PA, USA, May 22-24, 2022, 2022)

On the Reliability of Coverage-Based Fuzzer Benchmarking - Marcel Böhme; László Szekeres; Jonathan Metzman (44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022)

Human-in-the-loop oracle learning for semantic bugs in string processing programs - Charaka Geethal Kapugama; Van-Thuan Pham; Aldeida Aleti; Marcel Böhme (ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022, 2022)

Stateful Greybox Fuzzing - Jinsheng Ba; Marcel Böhme; Zahra Mirzamomen; Abhik Roychoudhury (31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022, 2022)

Stateful Greybox Fuzzing - Jinsheng Ba; Marcel Böhme; Zahra Mirzamomen; Abhik Roychoudhury (CoRR, 2022)

Effectiveness and Scalability of Fuzzing Techniques in CI/CD Pipelines - Thijs Klooster; Fatih Turkmen; Gerben Broenink; Ruben ten Hove; Marcel Böhme (CoRR, 2022)

Explainable Fuzzer Evaluation - Dylan Wolff; Marcel Böhme; Abhik Roychoudhury (CoRR, 2022)

Locating faults with program slicing: an empirical analysis - Ezekiel O. Soremekun; Lukas Kirschner; Marcel Böhme; Andreas Zeller (Empir. Softw. Eng., 2021)

Fuzzing: Challenges and Reflections - Marcel Böhme; Cristian Cadar; Abhik Roychoudhury (IEEE Softw., 2021)

Smart Greybox Fuzzing - Van-Thuan Pham; Marcel Böhme; Andrew E. Santosa; Alexandru Razvan Caciulescu; Abhik Roychoudhury (IEEE Trans. Software Eng., 2021)

Regression Greybox Fuzzing - Xiaogang Zhu; Marcel Böhme (CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021, 2021)

Estimating residual risk in greybox fuzzing - Marcel Böhme; Danushka Liyanage; Valentin Wüstholz (ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021, 2021)

Locating Faults with Program Slicing: An Empirical Analysis - Ezekiel O. Soremekun; Lukas Kirschner; Marcel Böhme; Andreas Zeller (CoRR, 2021)

Defect Prediction Guided Search-Based Software Testing - Anjana Perera; Aldeida Aleti; Marcel Böhme; Burak Turhan (CoRR, 2021)

How good does a Defect Predictor need to be to guide Search-Based Software Testing? - Anjana Perera; Burak Turhan; Aldeida Aleti; Marcel Böhme (CoRR, 2021)

Time-travel testing of Android apps - Zhen Dong; Marcel Böhme; Lucia Cojocaru; Abhik Roychoudhury (ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, 2020)

HyDiff: hybrid differential software analysis - Yannic Noller; Corina S. Pasareanu; Marcel Böhme; Youcheng Sun; Hoang Lam Nguyen; Lars Grunske (ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, 2020)

Human-In-The-Loop Automatic Program Repair - Marcel Böhme; Charaka Geethal; Van-Thuan Pham (13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, 2020)

AFLNET: A Greybox Fuzzer for Network Protocols - Van-Thuan Pham; Marcel Böhme; Abhik Roychoudhury (13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, 2020)

Defect Prediction Guided Search-Based Software Testing - Anjana Perera; Aldeida Aleti; Marcel Böhme; Burak Turhan (35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020)

Boosting fuzzer efficiency: an information theoretic perspective - Marcel Böhme; Valentin J. M. Manès; Sang Kil Cha (ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, 2020)

Fuzzing: on the exponential cost of vulnerability discovery - Marcel Böhme; Brandon Falk (ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, 2020)

Coverage-Based Greybox Fuzzing as Markov Chain - Marcel Böhme; Van-Thuan Pham; Abhik Roychoudhury (IEEE Trans. Software Eng., 2019)

Assurance in software testing: a roadmap - Marcel Böhme (Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, Montreal, QC, Canada, May 29-31, 2019, 2019)

MCPA: Program Analysis as Machine Learning - Marcel Böhme (CoRR, 2019)

Human-In-The-Loop Automatic Program Repair - Marcel Böhme; Charaka Geethal; Van-Thuan Pham (CoRR, 2019)

Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160) - Marcel Böhme; Cristian Cadar; Abhik Roychoudhury (NII Shonan Meet. Rep., 2019)

A correlation study between automated program repair and test-suite metrics - Jooyong Yi; Shin Hwei Tan; Sergey Mechtaev; Marcel Böhme; Abhik Roychoudhury (Empir. Softw. Eng., 2018)

STADS: Software Testing as Species Discovery - Marcel Böhme (ACM Trans. Softw. Eng. Methodol., 2018)

A correlation study between automated program repair and test-suite metrics - Jooyong Yi; Shin Hwei Tan; Sergey Mechtaev; Marcel Böhme; Abhik Roychoudhury (Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, 2018)

Detecting Information Flow by Mutating Input Data - Björn Mathis; Vitalii Avdiienko; Ezekiel O. Soremekun; Marcel Böhme; Andreas Zeller (Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, 2018)

Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern - Marcel Böhme; Ezekiel Olamide Soremekun; Sudipta Chattopadhyay; Emamurho Ugherughe; Andreas Zeller (Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, 2018)

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty - Yamilet R. Serrano Llerena; Marcel Böhme; Marc Brünink; Guoxin Su; David S. Rosenblum (Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, 2018)

STADS: Software Testing as Species Discovery - Marcel Böhme (CoRR, 2018)

Assurances in Software Testing: A Roadmap - Marcel Böhme (CoRR, 2018)

Smart Greybox Fuzzing - Van-Thuan Pham; Marcel Böhme; Andrew E. Santosa; Alexandru Razvan Caciulescu; Abhik Roychoudhury (CoRR, 2018)

Directed Greybox Fuzzing - Marcel Böhme; Van-Thuan Pham; Manh-Dung Nguyen; Abhik Roychoudhury (Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, 2017)

How developers debug software the DbgBench dataset: poster - Marcel Böhme; Ezekiel O. Soremekun; Sudipta Chattopadhyay; Emamurho Ugherughe; Andreas Zeller (Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, 2017)

Detecting information flow by mutating input data - Björn Mathis; Vitalii Avdiienko; Ezekiel O. Soremekun; Marcel Böhme; Andreas Zeller (Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017, 2017)

Where is the bug and how is it fixed? an experiment with practitioners - Marcel Böhme; Ezekiel O. Soremekun; Sudipta Chattopadhyay; Emamurho Ugherughe; Andreas Zeller (Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, 2017)

A Probabilistic Analysis of the Efficiency of Automated Software Testing - Marcel Böhme; Soumya Paul (IEEE Trans. Software Eng., 2016)

Coverage-based Greybox Fuzzing as Markov Chain - Marcel Böhme; Van-Thuan Pham; Abhik Roychoudhury (Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016, 2016)

Model-based whitebox fuzzing for program binaries - Van-Thuan Pham; Marcel Böhme; Abhik Roychoudhury (Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, 2016)

Über die Effizienz des Automatischen Testens - Marcel Böhme; Soumya Paul (Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany, 2015)

CoREBench: studying complexity of regression errors - Marcel Böhme; Abhik Roychoudhury (International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, 2014)

On the efficiency of automated testing - Marcel Böhme; Soumya Paul (Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-22), Hong Kong, China, November 16 - 22, 2014, 2014)

Regression Testing of Evolving Programs - Marcel Böhme; Abhik Roychoudhury; Bruno C. d. S. Oliveira (Adv. Comput., 2013)

Partition-based regression verification - Marcel Böhme; Bruno C. d. S. Oliveira; Abhik Roychoudhury (35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013, 2013)

Regression tests to expose change interaction errors - Marcel Böhme; Bruno C. d. S. Oliveira; Abhik Roychoudhury (Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, 2013)

Software regression as change of input partitioning - Marcel Böhme (34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, 2012)

Generating safe template languages - Florian Heidenreich; Jendrik Johannes; Mirko Seifert; Christian Wende; Marcel Böhme (Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, 2009)