TAOLUE

Jiayi Gu, Yu Zhou, Weigang Wu, Taolue Chen. Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking. ICCCS'15. LNCS 9483, ppp. 192-205, 2015... API providers tend to release incomplete or inconsistent API documentation, which deviates from the actual API implementation. We formally investigate the issue of inconsistency between API code and its documentation for the first time. We provide a novel method---with tool implementation---to automatically detect and repair defects from API documents. The empirical evaluation shows that the approach and the associated tool are able to find confirmed defects of documents for JDK 1.8 APIs and Android 7.0.

Primary location: London United Kingdom