Marcel Böhme

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 64

Top Topics

Software Testing

Defect Prediction

Fault Localization

Top Venues

ESEC/SIGSOFT FSE

IEEE Trans. Software Eng.

Publications

Seongmin Lee, Marcel Böhme
How Much is Unseen Depends Chiefly on Information About the Seen. CoRR (2024)
Niklas Risse, Marcel Böhme
Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection. USENIX Security Symposium (2024)
Anjana Perera, Burak Turhan, Aldeida Aleti, Marcel Böhme
On the Impact of Lower Recall and Precision in Defect Prediction for Guiding Search-based Software Testing. ACM Trans. Softw. Eng. Methodol. 33 (6) (2024)
Marcel Böhme
Guarantees in Software Security. CoRR (2024)
Danushka Liyanage, Seongmin Lee, Chakkrit Tantithamthavorn, Marcel Böhme
Extrapolating Coverage Rate in Greybox Fuzzing. ICSE (2024)
Gilles Barthe, Marcel Böhme, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Marco Guarnieri, David Mateos Romero, Peter Schwabe, David Wu, Yuval Yarom
Testing side-channel security of cryptographic implementations against future microarchitectures. CoRR (2024)
Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). Dagstuhl Reports 13 (3) (2023)
Danushka Liyanage, Marcel Böhme, Chakkrit Tantithamthavorn, Stephan Lipp
Reachable Coverage: Estimating Saturation in Fuzzing. ICSE (2023)
Zahra Mirzamomen, Marcel Böhme
Finding Bug-Inducing Program Environments. CoRR (2023)
Thijs Klooster, Fatih Turkmen, Gerben Broenink, Ruben ten Hove, Marcel Böhme
Continuous Fuzzing: A Study of the Effectiveness and Scalability of Fuzzing in CI/CD Pipelines. SBFT (2023)
Anjana Perera, Aldeida Aleti, Burak Turhan, Marcel Böhme
An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software Testing. IEEE Trans. Software Eng. 49 (1) (2023)
Charaka Geethal, Marcel Böhme, Van-Thuan Pham
Human-in-the-Loop Automatic Program Repair. IEEE Trans. Software Eng. 49 (10) (2023)
Dongge Liu, Jonathan Metzman, Marcel Böhme, Oliver Chang, Abhishek Arya
SBFT Tool Competition 2023 - Fuzzing Track. CoRR (2023)
Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu
Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. ISSTA (2023)
Dongge Liu, Jonathan Metzman, Marcel Böhme, Oliver Chang, Abhishek Arya
SBFT Tool Competition 2023 - Fuzzing Track. SBFT (2023)
Seongmin Lee, Marcel Böhme
Statistical Reachability Analysis. ESEC/SIGSOFT FSE (2023)
Marcel Böhme, Valentin J. M. Manès, Sang Kil Cha
Boosting Fuzzer Efficiency: An Information Theoretic Perspective. Commun. ACM 66 (11) (2023)
Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis
Evaluating the Impact of Experimental Assumptions in Automated Fault Localization. ICSE (2023)
Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme
Precise Data-Driven Approximation for Program Analysis via Fuzzing. ASE (2023)
Niklas Risse, Marcel Böhme
Limits of Machine Learning for Automatic Vulnerability Detection. CoRR (2023)
Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme
FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. ICSE-Companion (2022)
Thijs Klooster, Fatih Turkmen, Gerben Broenink, Ruben ten Hove, Marcel Böhme
Effectiveness and Scalability of Fuzzing Techniques in CI/CD Pipelines. CoRR (2022)
Dylan Wolff, Marcel Böhme, Abhik Roychoudhury
Explainable Fuzzer Evaluation. CoRR (2022)
Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme
Human-in-the-loop oracle learning for semantic bugs in string processing programs. ISSTA (2022)
Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury
Stateful Greybox Fuzzing. USENIX Security Symposium (2022)
Marcel Böhme
Statistical Reasoning About Programs. ICSE (NIER) (2022)
Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury
Stateful Greybox Fuzzing. CoRR (2022)
Marcel Böhme, László Szekeres, Jonathan Metzman
On the Reliability of Coverage-Based Fuzzer Benchmarking. ICSE (2022)
Marcel Böhme, Danushka Liyanage, Valentin Wüstholz
Estimating residual risk in greybox fuzzing. ESEC/SIGSOFT FSE (2021)
Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller
Locating Faults with Program Slicing: An Empirical Analysis. CoRR (2021)
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
Fuzzing: Challenges and Reflections. IEEE Softw. 38 (3) (2021)
Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller
Locating faults with program slicing: an empirical analysis. Empir. Softw. Eng. 26 (3) (2021)
Anjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan
Defect Prediction Guided Search-Based Software Testing. CoRR (2021)
Xiaogang Zhu, Marcel Böhme
Regression Greybox Fuzzing. CCS (2021)
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing. IEEE Trans. Software Eng. 47 (9) (2021)
Anjana Perera, Burak Turhan, Aldeida Aleti, Marcel Böhme
How good does a Defect Predictor need to be to guide Search-Based Software Testing? CoRR (2021)
Marcel Böhme, Valentin J. M. Manès, Sang Kil Cha
Boosting fuzzer efficiency: an information theoretic perspective. ESEC/SIGSOFT FSE (2020)
Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury
Time-travel testing of Android apps. ICSE (2020)
Anjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan
Defect Prediction Guided Search-Based Software Testing. ASE (2020)
Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
AFLNET: A Greybox Fuzzer for Network Protocols. ICST (2020)
Marcel Böhme, Brandon Falk
Fuzzing: on the exponential cost of vulnerability discovery. ESEC/SIGSOFT FSE (2020)
Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske
HyDiff: hybrid differential software analysis. ICSE (2020)
Marcel Böhme, Charaka Geethal, Van-Thuan Pham
Human-In-The-Loop Automatic Program Repair. ICST (2020)
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). NII Shonan Meet. Rep. 2019 (2019)
Marcel Böhme
MCPA: Program Analysis as Machine Learning. CoRR (2019)
Marcel Böhme
Assurance in software testing: a roadmap. ICSE (NIER) (2019)
Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
Coverage-Based Greybox Fuzzing as Markov Chain. IEEE Trans. Software Eng. 45 (5) (2019)
Marcel Böhme, Charaka Geethal, Van-Thuan Pham
Human-In-The-Loop Automatic Program Repair. CoRR (2019)
Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
A correlation study between automated program repair and test-suite metrics. ICSE (2018)
Marcel Böhme
Assurances in Software Testing: A Roadmap. CoRR (2018)
Marcel Böhme
STADS: Software Testing as Species Discovery. CoRR (2018)
Marcel Böhme, Ezekiel Olamide Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller
Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern. Software Engineering (2018)
Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
A correlation study between automated program repair and test-suite metrics. Empir. Softw. Eng. 23 (5) (2018)
Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller
Detecting Information Flow by Mutating Input Data. Software Engineering (2018)
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing. CoRR (2018)
Yamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, David S. Rosenblum
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty. ESEC/SIGSOFT FSE (2018)
Marcel Böhme
STADS: Software Testing as Species Discovery. ACM Trans. Softw. Eng. Methodol. 27 (2) (2018)
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller
How developers debug software the DbgBench dataset: poster. ICSE (Companion Volume) (2017)
Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury
Directed Greybox Fuzzing. CCS (2017)
Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller
Detecting information flow by mutating input data. ASE (2017)
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller
Where is the bug and how is it fixed? an experiment with practitioners. ESEC/SIGSOFT FSE (2017)
Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
Coverage-based Greybox Fuzzing as Markov Chain. CCS (2016)
Marcel Böhme, Soumya Paul
A Probabilistic Analysis of the Efficiency of Automated Software Testing. IEEE Trans. Software Eng. 42 (4) (2016)
Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
Model-based whitebox fuzzing for program binaries. ASE (2016)
Marcel Böhme, Soumya Paul
Über die Effizienz des Automatischen Testens. Software Engineering & Management (2015)
Marcel Böhme, Soumya Paul
On the efficiency of automated testing. SIGSOFT FSE (2014)
Marcel Böhme, Abhik Roychoudhury
CoREBench: studying complexity of regression errors. ISSTA (2014)
Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira
Regression Testing of Evolving Programs. Adv. Comput. 89 (2013)
Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
Regression tests to expose change interaction errors. ESEC/SIGSOFT FSE (2013)
Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
Partition-based regression verification. ICSE (2013)
Marcel Böhme
Software regression as change of input partitioning. ICSE (2012)
Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, Marcel Böhme
Generating safe template languages. GPCE (2009)