Differential Testing of Pushdown Reachability with a Formally Verified Oracle.

Anders Schlichtkrull, Morten Konggaard Schou, Jir Srba, Dmitriy Traytel

Browse the full FMCAD paper archive.