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

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

Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures. - Barthe, Gilles; Böhme, Marcel; Cauligi, Sunjay; Chuengsatiansup, Chitchanok; Genkin, Daniel; Guarnieri, Marco; Romero, David Mateos; Schwabe, Peter; Wu, David; Yarom, Yuval (2024)

Extrapolating Coverage Rate in Greybox Fuzzing. - Liyanage, Danushka; Lee, Seongmin; Tantithamthavorn, Chakkrit; Böhme, Marcel (2024)

Large Language Model guided Protocol Fuzzing. - Meng, Ruijie; Mirchev, Martin; Böhme, Marcel; Roychoudhury, Abhik (2024)

Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection. - Risse, Niklas; Böhme, Marcel (2024)

Proceedings of the 3rd ACM International Fuzzing Workshop, FUZZING 2024, Vienna, Austria, 16 September 2024 (ACM, 2024)

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

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

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

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

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

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

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

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

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

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

Continuous Fuzzing: A Study of the Effectiveness and Scalability of Fuzzing in CI/CD Pipelines. - Klooster, Thijs; Turkmen, Fatih; Broenink, Gerben; Hove, Ruben ten; Böhme, Marcel (2023)

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

Evaluating the Impact of Experimental Assumptions in Automated Fault Localization. - Soremekun, Ezekiel O.; Kirschner, Lukas; Böhme, Marcel; Papadakis, Mike (2023)

Reachable Coverage: Estimating Saturation in Fuzzing. - Liyanage, Danushka; Böhme, Marcel; Tantithamthavorn, Chakkrit; Lipp, Stephan (2023)

Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. - Lipp, Stephan; Elsner, Daniel; Kacianka, Severin; Pretschner, Alexander; Böhme, Marcel; Banescu, Sebastian (2023)

Precise Data-Driven Approximation for Program Analysis via Fuzzing. - Parasaram, Nikhil; Barr, Earl T.; Mechtaev, Sergey; Böhme, Marcel (2023)

Statistical Reachability Analysis. - Lee, Seongmin; Böhme, Marcel (2023)

Proceedings of the 2nd International Fuzzing Workshop, FUZZING 2023, Seattle, WA, USA, 17 July 2023 (ACM, 2023)

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

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

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

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

FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. - Lipp, Stephan; Elsner, Daniel; Hutzelmann, Thomas; Banescu, Sebastian; Pretschner, Alexander; Böhme, Marcel (2022)

Statistical Reasoning About Programs. - Böhme, Marcel (2022)

On the Reliability of Coverage-Based Fuzzer Benchmarking. - Böhme, Marcel; Szekeres, László; Metzman, Jonathan (2022)

Human-in-the-loop oracle learning for semantic bugs in string processing programs. - Kapugama, Charaka Geethal; Pham, Van-Thuan; Aleti, Aldeida; Böhme, Marcel (2022)

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

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

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

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

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

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

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

Regression Greybox Fuzzing. - Zhu, Xiaogang; Böhme, Marcel (2021)

Estimating residual risk in greybox fuzzing. - Böhme, Marcel; Liyanage, Danushka; Wüstholz, Valentin (2021)

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

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

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

Time-travel testing of Android apps. - Dong, Zhen; Böhme, Marcel; Cojocaru, Lucia; Roychoudhury, Abhik (2020)

HyDiff: hybrid differential software analysis. - Noller, Yannic; Pasareanu, Corina S.; Böhme, Marcel; Sun, Youcheng; Nguyen, Hoang Lam; Grunske, Lars (2020)

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

AFLNET: A Greybox Fuzzer for Network Protocols. - Pham, Van-Thuan; Böhme, Marcel; Roychoudhury, Abhik (2020)

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

Boosting fuzzer efficiency: an information theoretic perspective. - Böhme, Marcel; Manès, Valentin J. M.; Cha, Sang Kil (2020)

Fuzzing: on the exponential cost of vulnerability discovery. - Böhme, Marcel; Falk, Brandon (2020)

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

Assurance in software testing: a roadmap. - Böhme, Marcel (2019)

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

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

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

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

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

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

Detecting Information Flow by Mutating Input Data. - Mathis, Björn; Avdiienko, Vitalii; Soremekun, Ezekiel O.; Böhme, Marcel; Zeller, Andreas (2018)

Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern. - Böhme, Marcel; Soremekun, Ezekiel Olamide; Chattopadhyay, Sudipta; Ugherughe, Emamurho; Zeller, Andreas (2018)

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty. - Llerena, Yamilet R. Serrano; Böhme, Marcel; Brünink, Marc; Su, Guoxin; Rosenblum, David S. (2018)

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

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

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

Directed Greybox Fuzzing. - Böhme, Marcel; Pham, Van-Thuan; Nguyen, Manh-Dung; Roychoudhury, Abhik (2017)

How developers debug software the DbgBench dataset: poster. - Böhme, Marcel; Soremekun, Ezekiel O.; Chattopadhyay, Sudipta; Ugherughe, Emamurho; Zeller, Andreas (2017)

Detecting information flow by mutating input data. - Mathis, Björn; Avdiienko, Vitalii; Soremekun, Ezekiel O.; Böhme, Marcel; Zeller, Andreas (2017)

Where is the bug and how is it fixed? an experiment with practitioners. - Böhme, Marcel; Soremekun, Ezekiel O.; Chattopadhyay, Sudipta; Ugherughe, Emamurho; Zeller, Andreas (2017)

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

Coverage-based Greybox Fuzzing as Markov Chain. - Böhme, Marcel; Pham, Van-Thuan; Roychoudhury, Abhik (2016)

Model-based whitebox fuzzing for program binaries. - Pham, Van-Thuan; Böhme, Marcel; Roychoudhury, Abhik (2016)

Über die Effizienz des Automatischen Testens. - Böhme, Marcel; Paul, Soumya (2015)

CoREBench: studying complexity of regression errors. - Böhme, Marcel; Roychoudhury, Abhik (2014)

On the efficiency of automated testing. - Böhme, Marcel; Paul, Soumya (2014)

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

Partition-based regression verification. - Böhme, Marcel; Oliveira, Bruno C. d. S.; Roychoudhury, Abhik (2013)

Regression tests to expose change interaction errors. - Böhme, Marcel; Oliveira, Bruno C. d. S.; Roychoudhury, Abhik (2013)

Software regression as change of input partitioning. - Böhme, Marcel (2012)

Generating safe template languages. - Heidenreich, Florian; Johannes, Jendrik; Seifert, Mirko; Wende, Christian; Böhme, Marcel (2009)