Automatic testing of symbolic execution engines via program generation and differential testing | IEEE Conference Publication | IEEE Xplore