Follow
Marcel Böhme
Marcel Böhme
Max Planck Institute for Security & Privacy
Verified email at mpi-sp.org - Homepage
Title
Cited by
Cited by
Year
Coverage-based greybox fuzzing as markov chain
M Böhme, VT Pham, A Roychoudhury
IEEE Transactions on Software Engineering 45 (5), 489-506, 2017
6232017
Directed greybox fuzzing
M Böhme, VT Pham, MD Nguyen, A Roychoudhury
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
4562017
Smart greybox fuzzing
VT Pham, M Böhme, AE Santosa, AR Căciulescu, A Roychoudhury
IEEE Transactions on Software Engineering 47 (9), 1980-1997, 2019
1232019
Corebench: Studying complexity of regression errors
M Böhme, A Roychoudhury
Proceedings of the 2014 international symposium on software testing and …, 2014
1002014
Model-based whitebox fuzzing for program binaries
VT Pham, M Böhme, A Roychoudhury
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
912016
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
M Böhme, EO Soremekun, S Chattopadhyay, E Ugherughe, A Zeller
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
872017
The Fuzzing Book
A Zeller, R Gopinath, M Böhme, G Fraser, C Holler
CISPA+ Saarland University, 2019
80*2019
AFLNet: a greybox fuzzer for network protocols
VT Pham, M Böhme, A Roychoudhury
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020
672020
Partition-Based Regression Verification
M Böhme, BCS Oliveira, A Roychoudhury
ACM/IEEE International Conference on Software Engineering, 302-311, 2013
662013
A probabilistic analysis of the efficiency of automated software testing
M Böhme, S Paul
IEEE Transactions on Software Engineering 42 (4), 345-360, 2015
632015
Regression tests to expose change interaction errors
M Böhme, BCS Oliveira, A Roychoudhury
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
472013
A Correlation Study Between Automated Program Repair and Test-Suite Metrics
J Yi, SH Tan, S Mechtaev, M Böhme, A Roychoudhury
Empirical Software Engineering 23 (5), 2948--2979, 2018
432018
Boosting fuzzer efficiency: An information theoretic perspective
M Böhme, VJM Manès, SK Cha
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
392020
Fuzzing: Challenges and Reflections.
M Boehme, C Cadar, A Roychoudhury
IEEE Softw. 38 (3), 79-86, 2021
352021
Fuzzing: On the Exponential Cost of Vulnerability Discovery
M Böhme, B Falk
ESEC/FSE, 747-758, 2020
322020
Time-travel Testing of Android Apps
Z Dong, M Böhme, L Cojocaru, A Roychoudhury
2020 ACM/IEEE 42nd International Conference on Software Engineering, 12, 2020
302020
On the efficiency of automated testing
M Böhme, S Paul
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
292014
STADS: Software Testing as Species Discovery
M Böhme
ACM Transactions on Software Engineering and Methodology 27 (2), 7:1--7:52, 2018
282018
Detecting information flow by mutating input data
B Mathis, V Avdiienko, EO Soremekun, M Böhme, A Zeller
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
28*2017
HyDiff: Hybrid differential software analysis
Y Noller, CS Păsăreanu, M Böhme, Y Sun, HL Nguyen, L Grunske
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020
172020
The system can't perform the operation now. Try again later.
Articles 1–20