FingerprintDive into the research topics of 'AB=ᗺA: execution equivalence as a new type of testing oracle'. Together they form a unique fingerprint.
- Sort by
A. B. Elyasov, Wishnu Prasetya, J. Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernandez
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution