Marcel Böhme

Orcid: 0000-0002-4470-1824

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Guarantees in Software Security.
CoRR, 2024

Testing side-channel security of cryptographic implementations against future microarchitectures.
CoRR, 2024

2023
Boosting Fuzzer Efficiency: An Information Theoretic Perspective.
Commun. ACM, November, 2023

Human-in-the-Loop Automatic Program Repair.
IEEE Trans. Software Eng., October, 2023

Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131).
Dagstuhl Reports, March, 2023

An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software Testing.
IEEE Trans. Software Eng., 2023

Limits of Machine Learning for Automatic Vulnerability Detection.
CoRR, 2023

Finding Bug-Inducing Program Environments.
CoRR, 2023

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

Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Evaluating the Impact of Experimental Assumptions in Automated Fault Localization.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Reachable Coverage: Estimating Saturation in Fuzzing.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

SBFT Tool Competition 2023 - Fuzzing Track.
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.
Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

2022
Explainable Fuzzer Evaluation.
CoRR, 2022

Effectiveness and Scalability of Fuzzing Techniques in CI/CD Pipelines.
CoRR, 2022

Stateful Greybox Fuzzing.
Proceedings of the 31st USENIX Security Symposium, 2022

Human-in-the-loop oracle learning for semantic bugs in string processing programs.
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.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

On the Reliability of Coverage-Based Fuzzer Benchmarking.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

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

2021
Smart Greybox Fuzzing.
IEEE Trans. Software Eng., 2021

Fuzzing: Challenges and Reflections.
IEEE Softw., 2021

Locating faults with program slicing: an empirical analysis.
Empir. Softw. Eng., 2021

How good does a Defect Predictor need to be to guide Search-Based Software Testing?
CoRR, 2021

Estimating residual risk in greybox fuzzing.
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.
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.
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.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

AFLNET: A Greybox Fuzzer for Network Protocols.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

HyDiff: hybrid differential software analysis.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Time-travel testing of Android apps.
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.
IEEE Trans. Software Eng., 2019

Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160).
NII Shonan Meet. Rep., 2019

MCPA: Program Analysis as Machine Learning.
CoRR, 2019

Assurance in software testing: a roadmap.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018
STADS: Software Testing as Species Discovery.
ACM Trans. Softw. Eng. Methodol., 2018

A correlation study between automated program repair and test-suite metrics.
Empir. Softw. Eng., 2018

Assurances in Software Testing: A Roadmap.
CoRR, 2018

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.
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.
Proceedings of the Software Engineering und Software Management 2018, 2018

Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern.
Proceedings of the Software Engineering und Software Management 2018, 2018

2017
Where is the bug and how is it fixed? an experiment with practitioners.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

How developers debug software the DbgBench dataset: poster.
Proceedings of the 39th International Conference on Software Engineering, 2017

Directed Greybox Fuzzing.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
A Probabilistic Analysis of the Efficiency of Automated Software Testing.
IEEE Trans. Software Eng., 2016

Model-based whitebox fuzzing for program binaries.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015
Über die Effizienz des Automatischen Testens.
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.
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.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
Regression Testing of Evolving Programs.
Adv. Comput., 2013

Regression tests to expose change interaction errors.
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.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Software regression as change of input partitioning.
Proceedings of the 34th International Conference on Software Engineering, 2012

2009
Generating safe template languages.
Proceedings of the Generative Programming and Component Engineering, 2009


  Loading...