Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun
TzuYu: Learning stateful typestates
ASE, 2013.
@inproceedings{ASE-2013-Xiao0LLS,
author = "Hao Xiao and Jun Sun and Yang Liu and Shang-Wei Lin and Chengnian Sun",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693101",
pages = "432--442",
publisher = "{IEEE}",
title = "{TzuYu: Learning stateful typestates}",
year = 2013,
}