Mark Gabel, Zhendong Su. Symbolic mining of temporal specifications. In Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. pages 51-60, ACM, 2008. [doi]
@inproceedings{GabelS08,
title = {Symbolic mining of temporal specifications},
author = {Mark Gabel and Zhendong Su},
year = {2008},
doi = {10.1145/1368088.1368096},
url = {http://doi.acm.org/10.1145/1368088.1368096},
researchr = {https://researchr.org/publication/GabelS08},
cites = {0},
citedby = {0},
pages = {51-60},
booktitle = {30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008},
editor = {Wilhelm Schäfer and Matthew B. Dwyer and Volker Gruhn},
publisher = {ACM},
isbn = {978-1-60558-079-1},
}