AB= BA: Execution equivalence as a new type of testing oracle
- Elyasov, A.
- Prasetya, W.
- Hage, J.
- Rueda, U.
- Vos, T.
- Condori-Fernández, N.
Proceedings:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781450331968
Year of publication: 2015
Volume: 13-17-April-2015
Pages: 1559-1566
Type: Conference paper