AB=ᗺA: execution equivalence as a new type of testing oracle.

Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernndez

Browse the full SAC paper archive.