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
Ano de publicación: 2015
Volume: 13-17-April-2015
Páxinas: 1559-1566
Tipo: Achega congreso