Please use this identifier to cite or link to this item:
Title: Automatically generating runtime monitors from tests
Authors: Cauchi, Abigail
Chircop, Luke
Colombo, Christian
Francalanza, Adrian
Micallef, Mark
Pace, Gordon J.
Keywords: Computer software -- Development
Computer programs -- Verification
Computer software -- Testing
Issue Date: 2016
Publisher: ECOOP
Citation: Cauchi, A., Chircop, L., Colombo, C., Francalanza, A., Micallef, M., & Pace, G. J. (2016). Automatically generating runtime monitors from tests. 1st VORTEX Workshop on Runtime Verification, Rome. 1-3.
Abstract: A large portion of the software development industry relies on testing as the main technique for quality assurance while other techniques which can provide extra guarantees are largely ignored. A case in point is runtime verification which provides assurance that a system’s behaviour is correct at runtime. Compared to testing, this technique has the advantage of checking the actual runs of a system rather than a number of representative testcases.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Automatically_generating_runtime_monitors_from_tests_2016.pdf79.28 kBAdobe PDFView/Open

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