AB=ᗺA: execution equivalence as a new type of testing oracle

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]

Authors

Alexander Elyasov

This author has not been identified. Look up 'Alexander Elyasov' in Google

W. Prasetya

This author has not been identified. Look up 'W. Prasetya' in Google

Jurriaan Hage

This author has not been identified. It may be one of the following persons: Look up 'Jurriaan Hage' in Google

U. Rueda

This author has not been identified. Look up 'U. Rueda' in Google

Tanja E. J. Vos

This author has not been identified. Look up 'Tanja E. J. Vos' in Google

Nelly Condori-Fernández

This author has not been identified. Look up 'Nelly Condori-Fernández' in Google