Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cai, Cheng-Hao | - |
dc.contributor.author | Sun, Jing | - |
dc.contributor.author | Dobbie, Gillian | - |
dc.contributor.author | Hou, Zhe | - |
dc.contributor.author | Bride, Hadrien | - |
dc.contributor.author | Dong, Jin Song | - |
dc.contributor.author | Lee, Scott Uk-Jin | - |
dc.date.accessioned | 2023-05-03T09:44:18Z | - |
dc.date.available | 2023-05-03T09:44:18Z | - |
dc.date.issued | 2022-09 | - |
dc.identifier.issn | 0934-5043 | - |
dc.identifier.issn | 1433-299X | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/112775 | - |
dc.description.abstract | Automated model repair techniques enable machines to synthesise patches that ensure models meet given requirements. B-repair, which is an existing model repair approach, assists users in repairing erroneous models in the B formal method, but repairing large models is inefficient due to successive applications of repair. In this work, we improve the performance of B-repair using simultaneous modifications, repair refactoring, and better classifiers. The simultaneous modifications can eliminate multiple invariant violations at a time so the average time to repair each fault can be reduced. Further, the modifications can be refactored to reduce the length of repair. The purpose of using better classifiers is to perform more accurate and general repairs and avoid inefficient brute-force searches. We conducted an empirical study to demonstrate that the improved implementation leads to the entire model process achieving higher accuracy, generality, and efficiency. | - |
dc.format.extent | 31 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | Springer Verlag | - |
dc.title | Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring | - |
dc.type | Article | - |
dc.publisher.location | 미국 | - |
dc.identifier.doi | 10.1145/3536430 | - |
dc.identifier.scopusid | 2-s2.0-85142425513 | - |
dc.identifier.wosid | 000920872800002 | - |
dc.identifier.bibliographicCitation | Formal Aspects of Computing, v.34, no.2, pp 1 - 31 | - |
dc.citation.title | Formal Aspects of Computing | - |
dc.citation.volume | 34 | - |
dc.citation.number | 2 | - |
dc.citation.startPage | 1 | - |
dc.citation.endPage | 31 | - |
dc.type.docType | Article | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordAuthor | B-method | - |
dc.subject.keywordAuthor | model checking | - |
dc.subject.keywordAuthor | automated model repair | - |
dc.subject.keywordAuthor | repair evaluator training | - |
dc.identifier.url | https://dl.acm.org/doi/10.1145/3536430 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.