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

Tien-Duy B. Le, Lingfeng Bao, David Lo 0001. DSM: a specification mining tool using recurrent neural network based language model. In Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu, editors, Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. pages 896-899, ACM, 2018. [doi]

@inproceedings{LeB018,
  title = {DSM: a specification mining tool using recurrent neural network based language model},
  author = {Tien-Duy B. Le and Lingfeng Bao and David Lo 0001},
  year = {2018},
  doi = {10.1145/3236024.3264597},
  url = {https://doi.org/10.1145/3236024.3264597},
  researchr = {https://researchr.org/publication/LeB018},
  cites = {0},
  citedby = {0},
  pages = {896-899},
  booktitle = {Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018},
  editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu},
  publisher = {ACM},
  isbn = {978-1-4503-5573-5},
}