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…