43 citations · 61 across the 22 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
Long Pham, Jan Hoffmann
Worst-case input generation aims to automatically generate inputs that exhibit the worst-case performance of programs. It has several applications, and can, for example, detect vul…
cs.CR2023★ 1 cited
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification
Tai D. Nguyen, Long H. Pham, Jun Sun
Fuzzing has emerged as a powerful technique for finding security bugs in complicated real-world applications. American fuzzy lop (AFL), a leading fuzzing tool, has demonstrated its…