Marcel Böhme - RankMe

99 papers A* 23A 5B 1C 2Journal 51Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties. ACM Trans. Softw. Eng. Methodol. Dylan Wolff, Marcel Böhme, Abhik Roychoudhury
2026	J	`jnl`	How and Why Agents Can Identify Bug-Introducing Commits. CoRR Niklas Risse, Marcel Böhme
2026	A*	`conf`	Incoherence as Oracle-less Measure of Error in LLM-Based Code Generation. AAAI Thomas Jean-Michel Valentin, Ardi Madadi, Gaetano Sapia, Marcel Böhme
2026	J	`jnl`	VeriGrey: Greybox Agent Validation. CoRR Yuntong Zhang, Sungmin Kang, Ruijie Meng, Marcel Böhme, Abhik Roychoudhury
2025	J	`jnl`	A Comparative Study of Fuzzers and Static Analysis Tools for Finding Memory Unsafety in C and C++. CoRR Keno Hassler, Philipp Görz, Stephan Lipp, Thorsten Holz, Marcel Böhme
2025	J	`jnl`	AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing. IEEE Trans. Software Eng. Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2025	A*	`conf`	Accounting for Missing Events in Statistical Information Leakage Analysis. ICSE Seongmin Lee, Shreyas Minocha, Marcel Böhme
2025	J	`jnl`	An Empirical Study of Fuzz Harness Degradation. CoRR Philipp Görz, Joschua Schilling, Thorsten Holz, Marcel Böhme
2025	J	`jnl`	Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models. CoRR Sairam Vaidya, Marcel Böhme, Loris D'Antoni
2025	J	`jnl`	Can LLM Generate Regression Tests for Software Commits? CoRR Jing Liu, Seongmin Lee, Eleonora Losiouk, Marcel Böhme
2025	J	`jnl`	Empirical Computation. CoRR Eric Tang, Marcel Böhme
2025	J	`jnl`	Estimating Correctness Without Oracles in LLM-Based Code Generation. CoRR Thomas Jean-Michel Valentin, Ardi Madadi, Gaetano Sapia, Marcel Böhme
2025	J	`jnl`	How to Solve Cybersecurity Once and For All. IEEE Secur. Priv. Marcel Böhme
2025	A*	`conf`	Invivo Fuzzing by Amplifying Actual Executions. ICSE Octavio Galland, Marcel Böhme
2025	J	`jnl`	Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation. CoRR Haoxin Tu, Seongmin Lee, Yuxian Li, Peng Chen, Lingxiao Jiang, Marcel Böhme
2025	J	`jnl`	MendelFuzz: The Return of the Deterministic Stage. Proc. ACM Softw. Eng. Han Zheng, Flavio Toffalini, Marcel Böhme, Mathias Payer
2025	J	`jnl`	On Interaction Effects in Greybox Fuzzing. CoRR Konstantinos Kitsios, Marcel Böhme, Alberto Bacchelli
2025	J	`jnl`	Software Security Analysis in 2030 and Beyond: A Research Roadmap. ACM Trans. Softw. Eng. Methodol. Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
2025	J	`jnl`	Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection. Proc. ACM Softw. Eng. Niklas Risse, Jing Liu, Marcel Böhme
2024	J	`jnl`	AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing. CoRR Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2024	A*	`conf`	Extrapolating Coverage Rate in Greybox Fuzzing. ICSE Danushka Liyanage, Seongmin Lee, Chakkrit Tantithamthavorn, Marcel Böhme
2024	J	`jnl`	Guarantees in Software Security. CoRR Marcel Böhme
2024	J	`jnl`	How Much is Unseen Depends Chiefly on Information About the Seen. CoRR Seongmin Lee, Marcel Böhme
2024	A*	`conf`	Large Language Model guided Protocol Fuzzing. NDSS Ruijie Meng, Martin Mirchev, Marcel Böhme, Abhik Roychoudhury
2024	J	`jnl`	On the Impact of Lower Recall and Precision in Defect Prediction for Guiding Search-based Software Testing. ACM Trans. Softw. Eng. Methodol. Anjana Perera, Burak Turhan, Aldeida Aleti, Marcel Böhme
2024	—	`ed.`	Proceedings of the 3rd ACM International Fuzzing Workshop, FUZZING 2024, Vienna, Austria, 16 September 2024 FUZZING Marcel Böhme, Yannic Noller, Laszlo Szekeres
2024	J	`jnl`	Software Security Analysis in 2030 and Beyond: A Research Roadmap. CoRR Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
2024	A*	`conf`	Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures. CCS Gilles Barthe, Marcel Böhme, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Marco Guarnieri, David Mateos Romero, Peter Schwabe, David Wu, Yuval Yarom
2024	J	`jnl`	Testing side-channel security of cryptographic implementations against future microarchitectures. CoRR Gilles Barthe, Marcel Böhme, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Marco Guarnieri, David Mateos Romero, Peter Schwabe, David Wu, Yuval Yarom
2024	J	`jnl`	Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection. CoRR Niklas Risse, Marcel Böhme
2024	A*	`conf`	Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection. USENIX Security Symposium Niklas Risse, Marcel Böhme
2024	J	`jnl`	Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search. CoRR Haoxin Tu, Lingxiao Jiang, Marcel Böhme
2023	J	`jnl`	An Experimental Assessment of Using Theoretical Defect Predictors to Guide Search-Based Software Testing. IEEE Trans. Software Eng. Anjana Perera, Aldeida Aleti, Burak Turhan, Marcel Böhme
2023	J	`jnl`	Boosting Fuzzer Efficiency: An Information Theoretic Perspective. Commun. ACM Marcel Böhme, Valentin J. M. Manès, Sang Kil Cha
2023	—	`conf`	Continuous Fuzzing: A Study of the Effectiveness and Scalability of Fuzzing in CI/CD Pipelines. SBFT Thijs Klooster, Fatih Turkmen, Gerben Broenink, Ruben ten Hove, Marcel Böhme
2023	A*	`conf`	Evaluating the Impact of Experimental Assumptions in Automated Fault Localization. ICSE Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis
2023	J	`jnl`	Finding Bug-Inducing Program Environments. CoRR Zahra Mirzamomen, Marcel Böhme
2023	A	`conf`	Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. ISSTA Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu
2023	J	`jnl`	Human-in-the-Loop Automatic Program Repair. IEEE Trans. Software Eng. Charaka Geethal, Marcel Böhme, Van-Thuan Pham
2023	J	`jnl`	Limits of Machine Learning for Automatic Vulnerability Detection. CoRR Niklas Risse, Marcel Böhme
2023	A*	`conf`	Precise Data-Driven Approximation for Program Analysis via Fuzzing. ASE Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme
2023	—	`ed.`	Proceedings of the 2nd International Fuzzing Workshop, FUZZING 2023, Seattle, WA, USA, 17 July 2023 FUZZING Marcel Böhme, Yannic Noller, Baishakhi Ray, László Szekeres
2023	A*	`conf`	Reachable Coverage: Estimating Saturation in Fuzzing. ICSE Danushka Liyanage, Marcel Böhme, Chakkrit Tantithamthavorn, Stephan Lipp
2023	—	`conf`	SBFT Tool Competition 2023 - Fuzzing Track. SBFT Dongge Liu, Jonathan Metzman, Marcel Böhme, Oliver Chang, Abhishek Arya
2023	J	`jnl`	SBFT Tool Competition 2023 - Fuzzing Track. CoRR Dongge Liu, Jonathan Metzman, Marcel Böhme, Oliver Chang, Abhishek Arya
2023	J	`jnl`	Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). Dagstuhl Reports Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser
2023	—	`conf`	Statistical Reachability Analysis. ESEC/SIGSOFT FSE Seongmin Lee, Marcel Böhme
2022	J	`jnl`	Effectiveness and Scalability of Fuzzing Techniques in CI/CD Pipelines. CoRR Thijs Klooster, Fatih Turkmen, Gerben Broenink, Ruben ten Hove, Marcel Böhme
2022	J	`jnl`	Explainable Fuzzer Evaluation. CoRR Dylan Wolff, Marcel Böhme, Abhik Roychoudhury
2022	—	`conf`	FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. ICSE-Companion Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme
2022	A	`conf`	Human-in-the-loop oracle learning for semantic bugs in string processing programs. ISSTA Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme
2022	A*	`conf`	On the Reliability of Coverage-Based Fuzzer Benchmarking. ICSE Marcel Böhme, László Szekeres, Jonathan Metzman
2022	A*	`conf`	Stateful Greybox Fuzzing. USENIX Security Symposium Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury
2022	J	`jnl`	Stateful Greybox Fuzzing. CoRR Jinsheng Ba, Marcel Böhme, Zahra Mirzamomen, Abhik Roychoudhury
2022	—	`conf`	Statistical Reasoning About Programs. ICSE (NIER) Marcel Böhme
2021	J	`jnl`	Defect Prediction Guided Search-Based Software Testing. CoRR Anjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan
2021	—	`conf`	Estimating residual risk in greybox fuzzing. ESEC/SIGSOFT FSE Marcel Böhme, Danushka Liyanage, Valentin Wüstholz
2021	J	`jnl`	Fuzzing: Challenges and Reflections. IEEE Softw. Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
2021	J	`jnl`	How good does a Defect Predictor need to be to guide Search-Based Software Testing? CoRR Anjana Perera, Burak Turhan, Aldeida Aleti, Marcel Böhme
2021	J	`jnl`	Locating Faults with Program Slicing: An Empirical Analysis. CoRR Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller
2021	J	`jnl`	Locating faults with program slicing: an empirical analysis. Empir. Softw. Eng. Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller
2021	A*	`conf`	Regression Greybox Fuzzing. CCS Xiaogang Zhu, Marcel Böhme
2021	J	`jnl`	Smart Greybox Fuzzing. IEEE Trans. Software Eng. Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
2020	A	`conf`	AFLNET: A Greybox Fuzzer for Network Protocols. ICST Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2020	—	`conf`	Boosting fuzzer efficiency: an information theoretic perspective. ESEC/SIGSOFT FSE Marcel Böhme, Valentin J. M. Manès, Sang Kil Cha
2020	A*	`conf`	Defect Prediction Guided Search-Based Software Testing. ASE Anjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan
2020	—	`conf`	Fuzzing: on the exponential cost of vulnerability discovery. ESEC/SIGSOFT FSE Marcel Böhme, Brandon Falk
2020	A	`conf`	Human-In-The-Loop Automatic Program Repair. ICST Marcel Böhme, Charaka Geethal, Van-Thuan Pham
2020	A*	`conf`	HyDiff: hybrid differential software analysis. ICSE Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske
2020	A*	`conf`	Time-travel testing of Android apps. ICSE Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury
2019	—	`conf`	Assurance in software testing: a roadmap. ICSE (NIER) Marcel Böhme
2019	J	`jnl`	Coverage-Based Greybox Fuzzing as Markov Chain. IEEE Trans. Software Eng. Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
2019	J	`jnl`	Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). NII Shonan Meet. Rep. Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
2019	J	`jnl`	Human-In-The-Loop Automatic Program Repair. CoRR Marcel Böhme, Charaka Geethal, Van-Thuan Pham
2019	J	`jnl`	MCPA: Program Analysis as Machine Learning. CoRR Marcel Böhme
2018	A*	`conf`	A correlation study between automated program repair and test-suite metrics. ICSE Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
2018	J	`jnl`	A correlation study between automated program repair and test-suite metrics. Empir. Softw. Eng. Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury
2018	J	`jnl`	Assurances in Software Testing: A Roadmap. CoRR Marcel Böhme
2018	C	`conf`	Detecting Information Flow by Mutating Input Data. Software Engineering Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller
2018	J	`jnl`	STADS: Software Testing as Species Discovery. CoRR Marcel Böhme
2018	J	`jnl`	STADS: Software Testing as Species Discovery. ACM Trans. Softw. Eng. Methodol. Marcel Böhme
2018	J	`jnl`	Smart Greybox Fuzzing. CoRR Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
2018	—	`conf`	Verifying the long-run behavior of probabilistic system models in the presence of uncertainty. ESEC/SIGSOFT FSE Yamilet R. Serrano Llerena, Marcel Böhme, Marc Brünink, Guoxin Su, David S. Rosenblum
2018	C	`conf`	Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern. Software Engineering Marcel Böhme, Ezekiel Olamide Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller
2017	A*	`conf`	Detecting information flow by mutating input data. ASE Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller
2017	A*	`conf`	Directed Greybox Fuzzing. CCS Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury
2017	—	`conf`	How developers debug software the DbgBench dataset: poster. ICSE (Companion Volume) Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller
2017	—	`conf`	Where is the bug and how is it fixed? an experiment with practitioners. ESEC/SIGSOFT FSE Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller
2016	J	`jnl`	A Probabilistic Analysis of the Efficiency of Automated Software Testing. IEEE Trans. Software Eng. Marcel Böhme, Soumya Paul
2016	A*	`conf`	Coverage-based Greybox Fuzzing as Markov Chain. CCS Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury
2016	A*	`conf`	Model-based whitebox fuzzing for program binaries. ASE Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
2015	—	`conf`	Über die Effizienz des Automatischen Testens. Software Engineering & Management Marcel Böhme, Soumya Paul
2014	A	`conf`	CoREBench: studying complexity of regression errors. ISSTA Marcel Böhme, Abhik Roychoudhury
2014	—	`conf`	On the efficiency of automated testing. SIGSOFT FSE Marcel Böhme, Soumya Paul
2013	A*	`conf`	Partition-based regression verification. ICSE Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
2013	J	`jnl`	Regression Testing of Evolving Programs. Adv. Comput. Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira
2013	—	`conf`	Regression tests to expose change interaction errors. ESEC/SIGSOFT FSE Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
2012	A*	`conf`	Software regression as change of input partitioning. ICSE Marcel Böhme
2009	B	`conf`	Generating safe template languages. GPCE Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, Marcel Böhme