Synergizing specification miners through model fissions and fusions

• 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
• Institution: Singapore Management University

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...