Coverage-based greybox fuzzing as markov chain M Böhme, VT Pham, A Roychoudhury IEEE Transactions on Software Engineering 45 (5), 489-506, 2017 | 1022 | 2017 |
Directed greybox fuzzing M Böhme, VT Pham, MD Nguyen, A Roychoudhury ACM Conference on Computer and Communications Security (CCS) 2017, 2329-2344, 2017 | 806 | 2017 |
AFLNet: a greybox fuzzer for network protocols VT Pham, M Böhme, A Roychoudhury IEEE International Conference on Software Testing, Verification and …, 2020 | 239 | 2020 |
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 | 237 | 2019 |
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 | 143 | 2020 |
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 | 136 | 2017 |
Corebench: Studying complexity of regression errors M Böhme, A Roychoudhury ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA …, 2014 | 133 | 2014 |
Model-based whitebox fuzzing for program binaries VT Pham, M Böhme, A Roychoudhury IEEE/ACM International Conference on Automated Software Engineering (ASE …, 2016 | 128 | 2016 |
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 | 110 | 2020 |
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 | 81 | 2015 |
Partition-Based Regression Verification M Böhme, BCS Oliveira, A Roychoudhury ACM/IEEE International Conference on Software Engineering (ICSE) 2013, 302-311, 2013 | 78 | 2013 |
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 | 71 | 2022 |
Fuzzing: On the Exponential Cost of Vulnerability Discovery M Böhme, B Falk ACM Joint Meeting on European Software Engineering Conference and Symposium …, 2020 | 66 | 2020 |
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 | 63 | 2018 |
Regression greybox fuzzing X Zhu, M Böhme ACM Conference on Computer and Communications Security (CCS) 2021, 2169-2182, 2021 | 62 | 2021 |
Stateful greybox fuzzing J Ba, M Böhme, Z Mirzamomen, A Roychoudhury USENIX Security 22, 3255-3272, 2022 | 57 | 2022 |
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 | 54 | 2013 |