关注
Marcel Böhme
Marcel Böhme
Max Planck Institute for Security & Privacy
在 mpi-sp.org 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Coverage-based greybox fuzzing as markov chain
M Böhme, VT Pham, A Roychoudhury
IEEE Transactions on Software Engineering 45 (5), 489-506, 2017
10222017
Directed greybox fuzzing
M Böhme, VT Pham, MD Nguyen, A Roychoudhury
ACM Conference on Computer and Communications Security (CCS) 2017, 2329-2344, 2017
8062017
AFLNet: a greybox fuzzer for network protocols
VT Pham, M Böhme, A Roychoudhury
IEEE International Conference on Software Testing, Verification and …, 2020
2392020
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
2372019
The Fuzzing Book
A Zeller, R Gopinath, M Böhme, G Fraser, C Holler
CISPA+ Saarland University, 2019
192*2019
Fuzzing: Challenges and reflections
M Böhme, C Cadar, A Roychoudhury
IEEE Software 38 (3), 79-86, 2020
1432020
Where Is the Bug and How Is It Fixed? An Experiment with Practitioners
M Böhme, EO Soremekun, S Chattopadhyay, E Ugherughe, A Zeller
ACM Joint Meeting on European Software Engineering Conference and Symposium …, 2017
1362017
Corebench: Studying complexity of regression errors
M Böhme, A Roychoudhury
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA …, 2014
1332014
Model-based whitebox fuzzing for program binaries
VT Pham, M Böhme, A Roychoudhury
IEEE/ACM International Conference on Automated Software Engineering (ASE …, 2016
1282016
Boosting fuzzer efficiency: An information theoretic perspective
M Böhme, VJM Manès, SK Cha
ACM Joint Meeting on European Software Engineering Conference and Symposium …, 2020
1102020
Time-travel Testing of Android Apps
Z Dong, M Böhme, L Cojocaru, A Roychoudhury
ACM/IEEE International Conference on Software Engineering (ICSE) 2020, 12, 2020
105*2020
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
812015
Partition-Based Regression Verification
M Böhme, BCS Oliveira, A Roychoudhury
ACM/IEEE International Conference on Software Engineering (ICSE) 2013, 302-311, 2013
782013
On the reliability of coverage-based fuzzer benchmarking
M Böhme, L Szekeres, J Metzman
ACM/IEEE International Conference on Software Engineering (ICSE) 2022, 1621-1633, 2022
712022
Fuzzing: On the Exponential Cost of Vulnerability Discovery
M Böhme, B Falk
ACM Joint Meeting on European Software Engineering Conference and Symposium …, 2020
662020
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
632018
Regression greybox fuzzing
X Zhu, M Böhme
ACM Conference on Computer and Communications Security (CCS) 2021, 2169-2182, 2021
622021
Stateful greybox fuzzing
J Ba, M Böhme, Z Mirzamomen, A Roychoudhury
USENIX Security 22, 3255-3272, 2022
572022
HyDiff: Hybrid differential software analysis
Y Noller, CS Păsăreanu, M Böhme, Y Sun, HL Nguyen, L Grunske
ACM/IEEE International Conference on Software Engineering (ICSE) 2020, 1273-1285, 2020
56*2020
Regression tests to expose change interaction errors
M Böhme, BCS Oliveira, A Roychoudhury
ACM Joint Meeting on European Software Engineering Conference and Symposium …, 2013
542013
系统目前无法执行此操作,请稍后再试。
文章 1–20