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
7872017
Directed greybox fuzzing
M Böhme, VT Pham, MD Nguyen, A Roychoudhury
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
5852017
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
1672019
The Fuzzing Book
A Zeller, R Gopinath, M Böhme, G Fraser, C Holler
CISPA+ Saarland University, 2019
123*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
1162020
Corebench: Studying complexity of regression errors
M Böhme, A Roychoudhury
Proceedings of the 2014 international symposium on software testing and …, 2014
1152014
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
1082016
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
1052017
Fuzzing: Challenges and reflections
M Böhme, C Cadar, A Roychoudhury
IEEE Software 38 (3), 79-86, 2020
752020
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
752015
Partition-Based Regression Verification
M Böhme, BCS Oliveira, A Roychoudhury
ACM/IEEE International Conference on Software Engineering, 302-311, 2013
722013
Boosting fuzzer efficiency: An information theoretic perspective
M Böhme, VJM Manès, SK Cha
Proceedings of the 2020 ACM Joint European Software Engineering Conference …, 2020
682020
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
582020
Regression tests to expose change interaction errors
M Böhme, BCS Oliveira, A Roychoudhury
Proceedings of the 2013 ACM Joint European Software Engineering Conference …, 2013
492013
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
482018
Fuzzing: On the Exponential Cost of Vulnerability Discovery
M Böhme, B Falk
Proceedings of the 2020 ACM Joint European Software Engineering Conference …, 2020
462020
STADS: Software Testing as Species Discovery
M Böhme
ACM Transactions on Software Engineering and Methodology 27 (2), 7:1--7:52, 2018
372018
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
34*2017
On the efficiency of automated testing
M Böhme, S Paul
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
322014
HyDiff: Hybrid differential software analysis
Y Noller, CS Păsăreanu, M Böhme, Y Sun, HL Nguyen, L Grunske
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
28*2020
The system can't perform the operation now. Try again later.
Articles 1–20