AB=ᗺA: execution equivalence as a new type of testing oracle. Execution equivalence as a new type of testing oracle
- A. Elyasov
- , W. Prasetya
- , J. Hage
- , U. Rueda
- , T. Vos
- , N. Condori-Fernández
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review