Please use this identifier to cite or link to this item:
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
1503.04912.pdf834.95 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.