Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23409
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.date.accessioned | 2017-11-06T16:43:03Z | - |
dc.date.available | 2017-11-06T16:43:03Z | - |
dc.date.issued | 2012 | - |
dc.identifier.citation | Colombo, C., Francalanza, A., & Grima, I. (2012). Simplifying contract-violating traces. arXiv preprint arXiv:1209.2681. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/23409 | - |
dc.description.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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Cornell University | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Computer science | en_GB |
dc.subject | Computer software -- Quality control | en_GB |
dc.title | Simplifying contract-violating traces | en_GB |
dc.type | article | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.description.reviewed | N/A | en_GB |
dc.identifier.doi | 10.4204/EPTCS.94.2 | - |
dc.contributor.creator | Colombo, Christian | - |
dc.contributor.creator | Francalanza, Adrian | - |
dc.contributor.creator | Grima, Ian | - |
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.