AB= BA: Execution equivalence as a new type of testing oracle

  1. Elyasov, A.
  2. Prasetya, W.
  3. Hage, J.
  4. Rueda, U.
  5. Vos, T.
  6. 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

DOI: 10.1145/2695664.2695877 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus