API Usage Pattern Search Based on Model Checking. - Xue-er Ding; Jun Niu; Jia Wang (SETTA, 2021)