CORVETTE: Program Correctness, Verification, and Testing for Exascale, Koushik Sen, UC Berkeley

Paper Presentation

CORVETTE: Program Correctness, Verification, and Testing for Exascale, Koushik Sen, UC Berkeley