David Lo. Mining specifications in diversified formats from execution traces. In 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China. pages 420-423, IEEE, 2008. [doi]
@inproceedings{Lo08:1,
title = {Mining specifications in diversified formats from execution traces},
author = {David Lo},
year = {2008},
doi = {10.1109/ICSM.2008.4658094},
url = {http://dx.doi.org/10.1109/ICSM.2008.4658094},
researchr = {https://researchr.org/publication/Lo08%3A1},
cites = {0},
citedby = {0},
pages = {420-423},
booktitle = {24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China},
publisher = {IEEE},
}