Alexander Elyasov, W. Prasetya, Jurriaan Hage, U. Rueda, Tanja E. J. Vos, Nelly Condori-Fernández. AB=ᗺA: execution equivalence as a new type of testing oracle. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. pages 1559-1566, ACM, 2015. [doi]
@inproceedings{ElyasovPHRVC15,
title = {AB=ᗺA: execution equivalence as a new type of testing oracle},
author = {Alexander Elyasov and W. Prasetya and Jurriaan Hage and U. Rueda and Tanja E. J. Vos and Nelly Condori-Fernández},
year = {2015},
doi = {10.1145/2695664.2695877},
url = {http://doi.acm.org/10.1145/2695664.2695877},
researchr = {https://researchr.org/publication/ElyasovPHRVC15},
cites = {0},
citedby = {0},
pages = {1559-1566},
booktitle = {Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015},
editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong},
publisher = {ACM},
isbn = {978-1-4503-3196-8},
}