Synergizing specification miners through model fissions and fusions

Synergizing specification miners through model fissions and fusions

Software systems are often developed and released without formal specifications. For those systems that are formally specified, developers have to continuously maintain and update the specifications or have them fall out of date. To deal with the absence of formal specifications, researchers have pr...

Full description

Saved in:
Bibliographic Details
Main Authors: LE BUI TIEN DUY, LE DINH XUAN BACH, David LO, BESCHASTNIKH, Ivan
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2016
Subjects:
Model Fission
Model Fusion
Specification Mining
Synergizing Miners
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/3084
https://ink.library.smu.edu.sg/context/sis_research/article/4084/viewcontent/Synergizing_specification_miners_through_model_fissions_and_fusions.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/3084
https://ink.library.smu.edu.sg/context/sis_research/article/4084/viewcontent/Synergizing_specification_miners_through_model_fissions_and_fusions.pdf

Similar Items