Detailed Information

Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment

Full metadata record
DC Field Value Language
dc.contributor.authorCai, Cheong hao-
dc.contributor.authorSun, Jing sun-
dc.contributor.authorDobbie, Gillian-
dc.contributor.authorLee, Scott Uk jin-
dc.date.accessioned2021-06-22T11:02:21Z-
dc.date.available2021-06-22T11:02:21Z-
dc.date.issued2019-12-
dc.identifier.issn1530-1362-
dc.identifier.urihttps://scholarworks.bwise.kr/erica/handle/2021.sw.erica/4622-
dc.description.abstractThis paper proposes a probabilistic reachability repair solution that enables abstract machines to automatically evolve and satisfy desired requirements. The solution is a combination of the B-method, machine learning and program synthesis. The B-method is used to formally specify an abstract machine and analyse the reachability of the abstract machine. Machine learning models are used to approximate features hidden in the semantics of the abstract machine. When the abstract machine fails to reach a desired state, the machine learning models are used to discover missing transitions to the state. Inserting the discovered transitions into the original abstract machine will lead to a repaired abstract machine that is capable of achieving the state. To obtain the repaired abstract machine, a set of insertion repairs are synthesised from the discovered transitions and are simplified using context-free grammars. Experimental results reveal that the reachability repair solution is applicable to a wide range of abstract machines and can accurately discover transitions that satisfy the requirements of reachability. Moreover, the results demonstrate that random forests are efficient machine learning models on transition discovery tasks. Additionally, we argue that the automated reachability repair process can improve the efficiency of software development. © 2019 IEEE.-
dc.format.extent8-
dc.language영어-
dc.language.isoENG-
dc.publisherIEEE-
dc.titleAchieving Abstract Machine Reachability with Learning-Based Model Fulfilment-
dc.typeArticle-
dc.publisher.location미국-
dc.identifier.doi10.1109/APSEC48747.2019.00043-
dc.identifier.scopusid2-s2.0-85078190938-
dc.identifier.wosid000517102200033-
dc.identifier.bibliographicCitationProceedings - Asia-Pacific Software Engineering Conference, APSEC, v.2019-December, pp 260 - 267-
dc.citation.titleProceedings - Asia-Pacific Software Engineering Conference, APSEC-
dc.citation.volume2019-December-
dc.citation.startPage260-
dc.citation.endPage267-
dc.type.docTypeConference Paper-
dc.description.isOpenAccessN-
dc.description.journalRegisteredClassscie-
dc.description.journalRegisteredClassscopus-
dc.relation.journalResearchAreaComputer Science-
dc.relation.journalResearchAreaEngineering-
dc.relation.journalWebOfScienceCategoryComputer Science-
dc.relation.journalWebOfScienceCategorySoftware Engineering-
dc.relation.journalWebOfScienceCategoryEngineering-
dc.relation.journalWebOfScienceCategoryElectrical & Electronic-
dc.subject.keywordPlusAutomatic programming-
dc.subject.keywordPlusComputer debugging-
dc.subject.keywordPlusContext free grammars-
dc.subject.keywordPlusDecision trees-
dc.subject.keywordPlusFormal verification-
dc.subject.keywordPlusMachine learning-
dc.subject.keywordPlusRepair-
dc.subject.keywordPlusSemantics-
dc.subject.keywordPlusSoftware design-
dc.subject.keywordPlusAbstract machines-
dc.subject.keywordPlusApproximate features-
dc.subject.keywordPlusLearning Based Models-
dc.subject.keywordPlusMachine learning models-
dc.subject.keywordPlusProgram synthesis-
dc.subject.keywordPlusReachability analysis-
dc.subject.keywordPlusRepair process-
dc.subject.keywordPlusRepair solution-
dc.subject.keywordPlusModel checking-
dc.subject.keywordAuthorautomatic programming-
dc.subject.keywordAuthordebugging-
dc.subject.keywordAuthorformal verification-
dc.subject.keywordAuthormodel checking-
dc.subject.keywordAuthorreachability analysis-
dc.identifier.urlhttps://ieeexplore.ieee.org/document/8945715-
Files in This Item
Go to Link
Appears in
Collections
COLLEGE OF COMPUTING > ERICA 컴퓨터학부 > 1. Journal Articles

qrcode

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher Lee, Scott Uk Jin photo

Lee, Scott Uk Jin
ERICA 소프트웨어융합대학 (ERICA 컴퓨터학부)
Read more

Altmetrics

Total Views & Downloads

BROWSE