December 2024
·
5 Reads
What is this page?
This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.
Publications (5)
July 2023
·
34 Reads
May 2023
·
9 Reads
May 2023
·
20 Reads
·
2 Citations
November 2022
·
104 Reads
·
60 Citations
Citations (2)
... In addition to basic mutations, recent researchers have developed complex transformations to maintain type consistency [3,15], adding historical bug-triggering code snippets [12,42], and coverage feedback [1,9] for improved testing efficiency. American Fuzzy Lop (AFL) [41] and its variations [5,9,20], employ genetic algorithms with a fitness function to prioritize fuzzing inputs for further mutations aimed at enhancing coverage, concentrating on byte-level changes. ...
- Citing Conference Paper
May 2023
... Implementation Verite is written from scratch with 10,106 lines of rust code and 822 lines of solidity code. We use the revm [6] as our EVM emulator and libafl [20] to build our fuzzer. There are roughly 300 lines of solidity code to define actions and 2,000 lines of Rust code to identify and do action-based mutation automatically. ...
- Citing Conference Paper
November 2022