Personal information

Websites & social links

https://mboehme.github.io

Other IDs

Scopus Author ID: 55321057200

Activities

Collapse all

Employment (2)

Max Planck Society: Bochum, DE

2021-09-01 to present | Faculty Member (MPI for Security and Privacy)
Employment
Source: Self-asserted source
Marcel Böhme

Monash University: Melbourne, AU

2018-03-01 to 2021-08-31 | Senior Lecturer (Assoc. Prof)
Employment
Source: Self-asserted source
Marcel Böhme

Works (29)

Software Security Analysis in 2030 and Beyond: A Research Roadmap

ACM Transactions on Software Engineering and Methodology
2024-12-19 | Journal article
DOI: 10.1145/3708533
Contributors: Marcel Böhme; Eric Bodden; Tevfik Bultan; Cristian Cadar; Yang Liu; Giuseppe Scanniello
Source: check_circle
Crossref

Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures

2024-12-02 | Conference paper
DOI: 10.1145/3658644.3670319
Contributors: Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom
Source: check_circle
Crossref

On the Impact of Lower Recall and Precision in Defect Prediction for Guiding Search-based Software Testing

ACM Transactions on Software Engineering and Methodology
2024-07-31 | Journal article
DOI: 10.1145/3655022
Contributors: Anjana Perera; Burak Turhan; Aldeida Aleti; Marcel Böhme
Source: check_circle
Crossref

Extrapolating Coverage Rate in Greybox Fuzzing

2024-04-12 | Conference paper
DOI: 10.1145/3597503.3639198
Contributors: Danushka Liyanage; Seongmin Lee; Chakkrit Tantithamthavorn; Marcel Böhme
Source: check_circle
Crossref

Statistical Reachability Analysis

2023-11-30 | Conference paper
DOI: 10.1145/3611643.3616268
Contributors: Seongmin Lee; Marcel Böhme
Source: check_circle
Crossref

Human-in-the-Loop Automatic Program Repair

IEEE Transactions on Software Engineering
2023-10-01 | Journal article
DOI: 10.1109/TSE.2023.3305052
Contributors: Charaka Geethal; Marcel Böhme; Van-Thuan Pham
Source: check_circle
Crossref

An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software Testing

IEEE Transactions on Software Engineering
2023-01-01 | Journal article
DOI: 10.1109/TSE.2022.3147008
Contributors: Anjana Perera; Aldeida Aleti; Burak Turhan; Marcel Bohme
Source: check_circle
Crossref

Estimating residual risk in greybox fuzzing

2021-08-20 | Conference paper
DOI: 10.1145/3468264.3468570
Contributors: Marcel Böhme; Danushka Liyanage; Valentin Wüstholz
Source: check_circle
Crossref

Fuzzing: Challenges and Reflections

IEEE Software
2021-05 | Journal article
DOI: 10.1109/MS.2020.3016773
Contributors: Marcel Boehme; Cristian Cadar; Abhik ROYCHOUDHURY
Source: check_circle
Crossref

Boosting fuzzer efficiency: an information theoretic perspective

2020-11-08 | Conference paper
DOI: 10.1145/3368089.3409748
Contributors: Marcel Böhme; Valentin J. M. Manès; Sang Kil Cha
Source: check_circle
Crossref

Fuzzing: on the exponential cost of vulnerability discovery

2020-11-08 | Conference paper
DOI: 10.1145/3368089.3409729
Contributors: Marcel Böhme; Brandon Falk
Source: check_circle
Crossref

A correlation study between automated program repair and test-suite metrics

Empirical Software Engineering
2018 | Journal article
DOI: 10.1007/s10664-017-9552-y
EID:

2-s2.0-85030169360
Contributors: Yi, J.; Tan, S.H.; Mechtaev, S.; Böhme, M.; Roychoudhury, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

STADS: Software testing as species discovery

ACM Transactions on Software Engineering and Methodology
2018 | Journal article
DOI: 10.1145/3210309
EID:

2-s2.0-85053872377
Contributors: Böhme, M.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier
grade
Preferred source (of 2)‎

Coverage-based Greybox Fuzzing as Markov Chain

IEEE Transactions on Software Engineering
2017 | Journal article
DOI: 10.1109/TSE.2017.2785841
EID:

2-s2.0-85039779858
Contributors: Bohme, M.; Pham, V.; Roychoudhury, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier
grade
Preferred source (of 2)‎

Detecting information flow by mutating input data

ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
2017 | Conference paper
DOI: 10.1109/ASE.2017.8115639
EID:

2-s2.0-85041438664
Contributors: Mathis, B.; Avdiienko, V.; Soremekun, E.O.; Bohme, M.; Zeller, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Directed greybox fuzzing

Proceedings of the ACM Conference on Computer and Communications Security
2017 | Conference paper
DOI: 10.1145/3133956.3134020
EID:

2-s2.0-85041437649
Contributors: Böhme, M.; Pham, V.-T.; Nguyen, M.-D.; Roychoudhury, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

How developers debug software - The DBGBENCH dataset

Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017
2017 | Conference paper
DOI: 10.1109/ICSE-C.2017.94
EID:

2-s2.0-85026736040
Contributors: Bohme, M.; Soremekun, E.O.; Chattopadhyay, S.; Ugherughe, E.J.; Zeller, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Where is the bug and how is it fixed? An experiment with practitioners

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
2017 | Conference paper
DOI: 10.1145/3106237.3106255
EID:

2-s2.0-85030765884
Contributors: Böhme, M.; Soremekun, E.O.; Chattopadhyay, S.; Ugherughe, E.; Zeller, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Coverage-based Greybox Fuzzing as Markov chain

Proceedings of the ACM Conference on Computer and Communications Security
2016 | Conference paper
DOI: 10.1145/2976749.2978428
EID:

2-s2.0-84995450940
Contributors: Böhme, M.; Pham, V.-T.; Roychoudhury, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Model-based whitebox fuzzing for program binaries

ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
2016 | Conference paper
DOI: 10.1145/2970276.2970316
EID:

2-s2.0-84989182173
Contributors: Pham, V.-T.; Böhme, M.; Roychoudhury, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

A Probabilistic Analysis of the Efficiency of Automated Software Testing

IEEE Transactions on Software Engineering
2016-04-01 | Journal article
DOI: 10.1109/TSE.2015.2487274
Contributors: Marcel Bohme; Soumya Paul
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

CoREBench: Studying complexity of regression errors

2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings
2014 | Conference paper
EID:

2-s2.0-84939184176
Contributors: Böhme, M.; Roychoudhury, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

On the efficiency of automated testing

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
2014 | Conference paper
DOI: 10.1145/2635868.2635923
EID:

2-s2.0-84986915899
Contributors: Böhme, M.; Paul, S.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Partition-based regression verification

Proceedings - International Conference on Software Engineering
2013 | Conference paper
DOI: 10.1109/ICSE.2013.6606576
EID:

2-s2.0-84886429654
Contributors: Bohme, M.; Oliveira, B.C.D.S.; Roychoudhury, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Regression Testing of Evolving Programs

Advances in Computers
2013 | Book
DOI: 10.1016/B978-0-12-408094-2.00002-3
EID:

2-s2.0-84875296305
Contributors: Böhme, M.; Roychoudhury, A.; Oliveira, B.C.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Regression tests to expose change interaction errors

2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings
2013 | Conference paper
DOI: 10.1145/2491411.2491430
EID:

2-s2.0-84883727671
Contributors: Böhme, M.; Oliveira, B.C.D.S.; Roychoudhury, A.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Software regression as change of input partitioning

Proceedings - International Conference on Software Engineering
2012 | Conference paper
DOI: 10.1109/ICSE.2012.6227046
EID:

2-s2.0-84864266197
Contributors: Böhme, M.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Generating safe template languages

ACM SIGPLAN Notices
2010 | Journal article
DOI: 10.1145/1837852.1621624
EID:

2-s2.0-77957567670
Contributors: Heidenreich, F.; Johannes, J.; Seifert, M.; Wende, C.; Böhme, M.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier

Generating safe template languages

GPCE'09 - Proceedings of the 8th International ACM SIGPLAN Conference on Generative Programming and Component Engineering
2009 | Conference paper
DOI: 10.1145/1621607.1621624
EID:

2-s2.0-70450191779
Contributors: Heidenreich, F.; Johannes, J.; Seifert, M.; Wende, C.; Böhme, M.
Source: Self-asserted source
Marcel Böhme via Scopus - Elsevier
How many people are using ORCID?