Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorColombo, Christian-
dc.contributor.authorMicallef, Mark-
dc.contributor.authorSpiteri, Keith-
dc.identifier.citationColombo, C., Micallef, M., & Spiteri, K. (2016). Extracting runtime monitors from tests. 13th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, Eindhoven.en_GB
dc.description.abstractThe effort and training required to specify runtime monitors in industry might be one of the factors explaining the slow uptake of the technique. In this position paper, we discuss ways in which runtime monitors can be extracted automatically from tests which are typically available with industrial systems. This brings with it a number of challenges, however, mainly because tests are typically focused on checking very specific behaviour, rendering the checks practically unusable in a runtime verification setting where the behaviour is user-directed rather than test-specified. In this context, we present an experiment and preliminary results which should provide the basis for further future exploration.en_GB
dc.subjectComputer software -- Developmenten_GB
dc.subjectComputer programs -- Testingen_GB
dc.subjectDomain-specific programming languagesen_GB
dc.titleExtracting runtime monitors from testsen_GB
dc.rights.holderThe 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 holderen_GB
dc.bibliographicCitation.conferencename13th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPSen_GB
dc.bibliographicCitation.conferenceplaceEindhoven, Netherlands, 03/04/2016en_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
  Restricted Access
150.19 kBAdobe PDFView/Open Request a copy

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