Directed greybox fuzzing

M Böhme, VT Pham, MD Nguyen… - Proceedings of the 2017 …, 2017 - dl.acm.org
Existing Greybox Fuzzers (GF) cannot be effectively directed, for instance, towards
problematic changes or patches, towards critical system calls or dangerous locations, or …

Coverage-based greybox fuzzing as markov chain

M Böhme, VT Pham, A Roychoudhury - Proceedings of the 2016 ACM …, 2016 - dl.acm.org
Coverage-based Greybox Fuzzing (CGF) is a random testing approach that requires no
program analysis. A new test is generated by slightly mutating a seed input. If the test …

Smart greybox fuzzing

VT Pham, M Böhme, AE Santosa… - IEEE Transactions …, 2019 - ieeexplore.ieee.org
Coverage-based greybox fuzzing (CGF) is one of the most successful approaches for
automated vulnerability detection. Given a seed file (as a sequence of bits), a CGF randomly …

Boosting fuzzer efficiency: An information theoretic perspective

M Böhme, VJM Manès, SK Cha - Proceedings of the 28th ACM Joint …, 2020 - dl.acm.org
In this paper, we take the fundamental perspective of fuzzing as a learning process.
Suppose before fuzzing, we know nothing about the behaviors of a program P: What does it …

Fuzzing: On the exponential cost of vulnerability discovery

M Böhme, B Falk - Proceedings of the 28th ACM joint meeting on …, 2020 - dl.acm.org
We present counterintuitive results for the scalability of fuzzing. Given the same non-
deterministic fuzzer, finding the same bugs linearly faster requires linearly more machines …

Dissecting american fuzzy lop: a fuzzbench evaluation

A Fioraldi, A Mantovani, D Maier… - ACM transactions on …, 2023 - dl.acm.org
AFL is one of the most used and extended fuzzers, adopted by industry and academic
researchers alike. Although the community agrees on AFL's effectiveness at discovering …

Towards optimal concolic testing

X Wang, J Sun, Z Chen, P Zhang, J Wang… - Proceedings of the 40th …, 2018 - dl.acm.org
Concolic testing integrates concrete execution (eg, random testing) and symbolic execution
for test case generation. It is shown to be more cost-effective than random testing or …

testar – scriptless testing through graphical user interface

TEJ Vos, P Aho, F Pastor Ricos… - Software Testing …, 2021 - Wiley Online Library
Covering all the possible paths of the graphical user interface (GUI) with test scripts would
take too much effort and result in serious maintenance issues. We propose complementing …

HyDiff: Hybrid differential software analysis

Y Noller, CS Păsăreanu, M Böhme, Y Sun… - Proceedings of the …, 2020 - dl.acm.org
Detecting regression bugs in software evolution, analyzing side-channels in programs and
evaluating robustness in deep neural networks (DNNs) can all be seen as instances of …

SNPSFuzzer: A fast greybox fuzzer for stateful network protocols using snapshots

J Li, S Li, G Sun, T Chen, H Yu - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Greybox fuzzing has been widely used in stateless programs and has achieved great
success. However, most state-of-the-art greybox fuzzers have slow speed and shallow state …