Automating Differential Testing with Overapproximate Symbolic Execution | IEEE Conference Publication | IEEE Xplore