DSM: A specification mining tool using recurrent neural network based language model

• Main Authors: LE, Tien-Duy B., BAO, Lingfeng, LO, David
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2018
• 主題: Specification Mining; Deep Learning; Programming Languages and Compilers; Software Engineering
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/4301; https://ink.library.smu.edu.sg/context/sis_research/article/5304/viewcontent/fse18demo_id36_p.pdf
• 機構: Singapore Management University

Formal specifications are important but often unavailable. Furthermore, writing these specifications is time-consuming and requires skills from developers. In this work, we present Deep Specification Miner (DSM), an automated tool that applies deep learning to mine finite-state automaton (FSA) based...