@inproceedings{e5b0723be45a4e8f91e6dcd99fbb5d5d,
title = "AB=ᗺA: execution equivalence as a new type of testing oracle.: Execution equivalence as a new type of testing oracle",
abstract = "This paper introduces a new type of automated testing oracle, called the execution equivalence (EE) invariants. These invariants can be mined from application logs that capture both application events and application states. The EE-invariants express an equivalence relation on the sequences of application events in terms of equality of respective initial and final states, which these sequences leave in the logs during the run-time. We claim that even equivalences up to a length of four events already provide useful testing oracle. We extended our tool LOPI (LOg-based Pattern Inferencer) with the algorithm for mining EE-invariants, and evaluated the effectiveness of these invariants on a case-study | the web application Flex Store. The evaluation is carried out based on two parameters: the false positive rate and the fault finding capability. Moreover, we compared the strength of LOPI's execution equivalences with Daikon's data invariants. This comparison has shown that Daikon was slightly more effective than LOPI in testing Flex Store. However, we have found a suitable confidence level for LOPI which allows to outperform Daikon.",
keywords = "Automated oracles, Daikon, Inference, Logs, Regression testing",
author = "A. Elyasov and W. Prasetya and J. Hage and U. Rueda and T. Vos and N. Condori-Fern{\'a}ndez",
note = "Publisher Copyright: Copyright 2015 ACM.; 30th Annual ACM Symposium on Applied Computing, SAC 2015, SAC 2015 ; Conference date: 13-04-2015 Through 17-04-2015",
year = "2015",
month = apr,
day = "13",
doi = "10.1145/2695664.2695877",
language = "English",
series = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery",
pages = "1559--1566",
editor = "Dongwan Shin",
booktitle = "2015 Symposium on Applied Computing, SAC 2015",
address = "United States",
}