Relative Correctness: A Bridge Between Proving and Testing.

Wided Ghardallou, Ali Mili, Nafi Diallo

Browse the full VECoS paper archive.