Uncovering the iceberg from the tip: Generating API Specifications for Bug Detection via Specification Propagation Analysis.

Miaoqian Lin, Kai Chen, Yi Yang, Jinghua Liu

Browse the full NDSS paper archive.