Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/27820| 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 Invariants 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. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/27820 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 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.