PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths

Zimu Chen, Di Wang

Estimating worst-case resource consumption is a critical task in software development. The worst-case analysis (WCA) problem is an optimization-based abstraction of this task. Fuzz…