ICON: Inferring Temporal Constraints from Natural Language API Descriptions
Automatic documentation inference for exceptions