Mining Effective Temporal Specifications from Heterogeneous API Data. - Wu, Qian; Liang, Guang-Tai; Wang, Qian-Xiang; Mei, Hong (Journal of Computer Science & Technology (10009000), 2011)