Automating Differential Testing with Overapproximate Symbolic Execution.

Richard Rutledge, Alessandro Orso

Browse the full ICST paper archive.