Download: PDF.
“General LTL Specification Mining” by Caroline Lemieux, Dennis Park, and Ivan Beschastnikh. In ASE 2015: Proceedings of the 30th Annual International Conference on Automated Software Engineering, (Lincoln, NE, USA), Nov. 2015.
Download: PDF.
BibTeX entry:
@inproceedings{LemieuxPB2015,
author = {Caroline Lemieux and Dennis Park and Ivan Beschastnikh},
title = {General {LTL} Specification Mining},
booktitle = {ASE 2015: Proceedings of the 30th Annual International
Conference on Automated Software Engineering},
address = {Lincoln, NE, USA},
month = nov,
year = {2015}
}