API Usage Pattern Search Based on Model Checking.

Xue-er Ding, Jun Niu, Jia Wang

Browse the full SETTA paper archive.