Robustness Testing of Intermediate Verifiers

Yu-Ting Chen, Carlo A. Furia

Program verifiers are not exempt from the bugs that affect nearly every piece of software. In addition, they often exhibit brittle behavior: their performance changes considerably…