Compositional Mining of Multiple Object API Protocols through State Abstraction

Compositional Mining of Multiple Object API Protocols through State Abstraction

API protocols specify correct sequences of method invocations. Despite their usefulness, API protocols are often unavailable in practice because writing them is cumbersome and error prone. Multiple object API protocols are more expressive than single object API protocols. However, the huge number of...

Full description

Bibliographic Details
Main Authors: Ziying Dai, Xiaoguang Mao, Yan Lei, Yuhua Qi, Rui Wang, Bin Gu
Format: Article
Language:English
Published: Hindawi Limited 2013-01-01
Series:The Scientific World Journal
Online Access:http://dx.doi.org/10.1155/2013/171647

Internet

http://dx.doi.org/10.1155/2013/171647

Similar Items