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.
Actas:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781450331968
Año de publicación: 2015
Volumen: 13-17-April-2015
Páginas: 1559-1566
Tipo: Aportación congreso