@inproceedings{9348fd1728634567b4090da5685b96d5,
title = "Looking for Lacunae in Bitcoin Core's Fuzzing Efforts",
abstract = "Bitcoin is one of the most prominent distributed software systems in the world. This paper describes an effort to investigate and enhance the effectiveness of the Bitcoin Core fuzzing effort. The effort initially began as a query about how to escape saturation in the fuzzing effort, but developed into a more general exploration. This paper summarizes the outcomes of a two-week focused effort. While the effort found no smoking guns indicating major test/fuzz weaknesses, it produced a large number of additional fuzz corpus entries, increased the set of fuzzers used for Bitcoin Core, and ran mutation analysis of Bitcoin Core fuzz targets, with a comparison to Bitcoin functional tests and other cryptocurrencies' tests. Our conclusion is that for high quality fuzzing efforts, improvements to the oracle may be the best way to get more out of fuzzing.",
keywords = "fuzzing, mutation analysis, oracle strength, saturation, test diversity",
author = "Alex Groce and Kush Jain and {Van Tonder}, Rijnard and Kalburgi, {Goutamkumar Tulajappa} and Goues, {Claire Le}",
note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 44th ACM/IEEE International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022 ; Conference date: 22-05-2022 Through 27-05-2022",
year = "2022",
doi = "10.1109/ICSE-SEIP55303.2022.9794086",
language = "English (US)",
series = "Proceedings - International Conference on Software Engineering",
publisher = "IEEE Computer Society",
pages = "185--186",
booktitle = "Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering",
}