Mining Interface Specifications for Generating Checkable Robustness Properties.

Mithun Acharya, Tao Xie, Jun Xu

Browse the full ISSRE paper archive.