Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23409
Title: | Simplifying contract-violating traces |
Authors: | Colombo, Christian Francalanza, Adrian Grima, Ian |
Keywords: | Computer software -- Development Computer science Computer software -- Quality control |
Issue Date: | 2012 |
Publisher: | Cornell University |
Citation: | Colombo, C., Francalanza, A., & Grima, I. (2012). Simplifying contract-violating traces. arXiv preprint arXiv:1209.2681. |
Abstract: | Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post deployment: once a violation is detected, the trace characterising the offending execution is analysed to pinpoint the source of the offence. A major drawback with this technique is that, often, contract violations take time to surface, resulting in long traces that are hard to analyse. This paper proposes a methodology together with an accompanying tool for simplifying traces and assisting contract-violation debugging. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23409 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
flacos2012.pdf | 219.01 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.