Abdelwahab Hamou-Lhadj, Syed Shariyar Murtaza, Waseem Fadel, Ali Mehrabian, Mario Couture, Raphael Khoury. Software behaviour correlation in a redundant and diverse environment using the concept of trace abstraction. In Ching Y. Suen, Amir G. Aghdam, Minyi Guo, Jiman Hong, Esmaeil S. Nadimi, editors, Research in Adaptive and Convergent Systems, RACS'13, Montreal, QC, Canada, October 1-4, 2013. pages 328-335, ACM, 2013. [doi]
Abstract is missing.