Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2013 (2013), Article ID 171647, 13 pages
Research Article

Compositional Mining of Multiple Object API Protocols through State Abstraction

1School of Computer, National University of Defense Technology, Changsha 410073, China
2Beijing Institute of Control Engineering, Beijing 100190, China

Received 26 March 2013; Accepted 17 April 2013

Academic Editors: S. H. Rubin, S. Saini, Y. Takama, and Y. Zhu

Copyright © 2013 Ziying Dai et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Ziying Dai, Xiaoguang Mao, Yan Lei, Yuhua Qi, Rui Wang, and Bin Gu, “Compositional Mining of Multiple Object API Protocols through State Abstraction,” The Scientific World Journal, vol. 2013, Article ID 171647, 13 pages, 2013. doi:10.1155/2013/171647