Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23224
Title: | Improving runtime overheads for detectEr |
Authors: | Cassar, Ian Francalanza, Adrian Said, Simon |
Keywords: | Computer software -- Verification Aspect-oriented programming Computer software -- Testing Real-time data processing |
Issue Date: | 2015 |
Publisher: | FESCA |
Citation: | Cassar, I., Francalanza, A., & Said, S. (2015). Improving runtime overheads for detectEr. 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, London. 1-8. |
Abstract: | We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement these optimisations as part of the existing tool and show that they yield considerably lower runtime overheads when compared to the unoptimised monitor synthesis. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23224 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1503.04912.pdf | 834.95 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.