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.
Konferenzberichte:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781450331968
Datum der Publikation: 2015
Ausgabe: 13-17-April-2015
Seiten: 1559-1566
Art: Konferenz-Beitrag