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

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

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

Full description

Saved in:
Bibliographic Details
Main Authors: LE, Tien-Duy B., BAO, Lingfeng, LO, David
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2018
Subjects:
Specification Mining
Deep Learning
Programming Languages and Compilers
Software Engineering
Online Access: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
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/4301
https://ink.library.smu.edu.sg/context/sis_research/article/5304/viewcontent/fse18demo_id36_p.pdf

Similar Items