Mining Succinct and High-Coverage API Usage Patterns from Source Code | AMiner