Statically Checking API Protocol Conformance with Mined Multi-Object Specifications (supplementary material)
This page provides supplementary material for our ICSE'12 paper entitled Statically Checking API Protocol Conformance with Mined Multi-Object Specifications.
A formal description of the translation from API usage protocols into relationship-based specifications is given in a companion report.
The analysis reports 81 warnings, which we classify into bugs, code smells, and false positives. The following text files list all warnings:
Mined protocols and generated Fusion specificationsWe mine and check 223 protocols that cover various parts of the Java standard library. You can download them in two formats:
Source code of the analyzed programs
The code base we use to evaluate the approach (the source code of the programs from the DaCapo benchmark suite) is available upon request.