Please use this identifier to cite or link to this item:
/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: | 础&#虫20;濒补谤驳别&#虫20;辫辞谤迟颈辞苍&#虫20;辞蹿&#虫20;迟丑别&#虫20;蝉辞蹿迟飞补谤别&#虫20;诲别惫别濒辞辫尘别苍迟&#虫20;颈苍诲耻蝉迟谤测&#虫20;谤别濒颈别蝉&#虫20;辞苍&#虫20;迟别蝉迟颈苍驳&#虫20;补蝉&#虫20;迟丑别&#虫20;尘补颈苍&#虫20;迟别肠丑苍颈辩耻别&#虫20;蹿辞谤&#虫20;辩耻补濒颈迟测&#虫20;补蝉蝉耻谤补苍肠别&#虫20;飞丑颈濒别&#虫20;辞迟丑别谤&#虫20;迟别肠丑苍颈辩耻别蝉&#虫20;飞丑颈肠丑&#虫20;肠补苍&#虫20;辫谤辞惫颈诲别&#虫20;别虫迟谤补&#虫20;驳耻补谤补苍迟别别蝉&#虫20;补谤别&#虫20;濒补谤驳别濒测&#虫20;颈驳苍辞谤别诲.&#虫20;础&#虫20;肠补蝉别&#虫20;颈苍&#虫20;辫辞颈苍迟&#虫20;颈蝉&#虫20;谤耻苍迟颈尘别&#虫20;惫别谤颈蹿颈肠补迟颈辞苍&#虫20;飞丑颈肠丑&#虫20;辫谤辞惫颈诲别蝉&#虫20;补蝉蝉耻谤补苍肠别&#虫20;迟丑补迟&#虫20;补&#虫20;蝉测蝉迟别尘鈥檚&#虫20;产别丑补惫颈辞耻谤&#虫20;颈蝉&#虫20;肠辞谤谤别肠迟&#虫20;补迟&#虫20;谤耻苍迟颈尘别.&#虫20;颁辞尘辫补谤别诲&#虫20;迟辞&#虫20;迟别蝉迟颈苍驳,&#虫20;迟丑颈蝉&#虫20;迟别肠丑苍颈辩耻别&#虫20;丑补蝉&#虫20;迟丑别&#虫20;补诲惫补苍迟补驳别&#虫20;辞蹿&#虫20;肠丑别肠办颈苍驳&#虫20;迟丑别&#虫20;补肠迟耻补濒&#虫20;谤耻苍蝉&#虫20;辞蹿&#虫20;补&#虫20;蝉测蝉迟别尘&#虫20;谤补迟丑别谤&#虫20;迟丑补苍&#虫20;补&#虫20;苍耻尘产别谤&#虫20;辞蹿&#虫20;谤别辫谤别蝉别苍迟补迟颈惫别&#虫20;迟别蝉迟肠补蝉别蝉. |
| 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.