Marcel Böhme

According to our database, Marcel Böhme authored at least 63 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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., July, 2024

Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection.

Niklas Risse, 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

How Much is Unseen Depends Chiefly on Information About the Seen.

Seongmin Lee, Marcel Böhme

CoRR, 2024

Guarantees in Software Security.

Marcel Böhme

CoRR, 2024

Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection.

Niklas Risse, Marcel Böhme

Proceedings of the 33rd USENIX Security Symposium, 2024

Large Language Model guided Protocol Fuzzing.

Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 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, 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, 2024

2023

Boosting Fuzzer Efficiency: An Information Theoretic Perspective.

Marcel Böhme, Valentin J. M. Manès, Sang Kil Cha

Commun. ACM, November, 2023

Human-in-the-Loop Automatic Program Repair.

Charaka Geethal, Marcel Böhme, Van-Thuan Pham

IEEE Trans. Software Eng., October, 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, March, 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

Limits of Machine Learning for Automatic Vulnerability Detection.

Niklas Risse, Marcel Böhme

CoRR, 2023

Finding Bug-Inducing Program Environments.

Zahra Mirzamomen, Marcel Böhme

CoRR, 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, 2023

Precise Data-Driven Approximation for Program Analysis via Fuzzing.

Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 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, 2023

Evaluating the Impact of Experimental Assumptions in Automated Fault Localization.

Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Reachable Coverage: Estimating Saturation in Fuzzing.

Danushka Liyanage, Marcel Böhme, Chakkrit Tantithamthavorn, Stephan Lipp

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

SBFT Tool Competition 2023 - Fuzzing Track.

Dongge Liu, Jonathan Metzman, Marcel Böhme, Oliver Chang, Abhishek Arya

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 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

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

2022

Explainable Fuzzer Evaluation.

Dylan Wolff, Marcel Böhme, 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

Stateful Greybox Fuzzing.

Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury

Proceedings of the 31st USENIX Security Symposium, 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

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer.

Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

On the Reliability of Coverage-Based Fuzzer Benchmarking.

Marcel Böhme, László Szekeres, Jonathan Metzman

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Statistical Reasoning About Programs.

Marcel Böhme

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results ICSE (NIER) 2022, 2022

2021

Smart Greybox Fuzzing.

Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury

IEEE Trans. Software Eng., 2021

Fuzzing: Challenges and Reflections.

Marcel Böhme, Cristian Cadar, Abhik Roychoudhury

IEEE Softw., 2021

Locating faults with program slicing: an empirical analysis.

Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller

Empir. Softw. Eng., 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

Estimating residual risk in greybox fuzzing.

Marcel Böhme, Danushka Liyanage, Valentin Wüstholz

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Regression Greybox Fuzzing.

Xiaogang Zhu, Marcel Böhme

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Fuzzing: on the exponential cost of vulnerability discovery.

Marcel Böhme, Brandon Falk

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Defect Prediction Guided Search-Based Software Testing.

Anjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

AFLNET: A Greybox Fuzzer for Network Protocols.

Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

HyDiff: hybrid differential software analysis.

Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Time-travel testing of Android apps.

Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Coverage-Based Greybox Fuzzing as Markov Chain.

Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury

IEEE Trans. Software Eng., 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

MCPA: Program Analysis as Machine Learning.

Marcel Böhme

CoRR, 2019

Assurance in software testing: a roadmap.

Marcel Böhme

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

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

Empir. Softw. Eng., 2018

Assurances in Software Testing: A Roadmap.

Marcel Böhme

CoRR, 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, 2018

Detecting Information Flow by Mutating Input Data.

Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller

Proceedings of the Software Engineering und Software Management 2018, 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

Proceedings of the Software Engineering und Software Management 2018, 2018

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, 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, 2017

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, 2017

2016

A Probabilistic Analysis of the Efficiency of Automated Software Testing.

Marcel Böhme, Soumya Paul

IEEE Trans. Software Eng., 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, 2016

2015

Über die Effizienz des Automatischen Testens.

Marcel Böhme, Soumya Paul

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

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, 2014

CoREBench: studying complexity of regression errors.

Marcel Böhme, Abhik Roychoudhury

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Regression Testing of Evolving Programs.

Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira

Adv. Comput., 2013

Regression tests to expose change interaction errors.

Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Partition-based regression verification.

Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Software regression as change of input partitioning.

Marcel Böhme

Proceedings of the 34th International Conference on Software Engineering, 2012

2009

Generating safe template languages.

Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, Marcel Böhme

Proceedings of the Generative Programming and Component Engineering, 2009