Please use this identifier to cite or link to this item:
|Title:||Automatically generating runtime monitors from tests|
Pace, Gordon J.
|Keywords:||Computer software -- Development|
Computer programs -- Verification
Computer software -- Testing
|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:
|Automatically_generating_runtime_monitors_from_tests_2016.pdf||79.28 kB||Adobe PDF||View/Open|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.