Software Library Usage Pattern Extraction Using a Software Model Checker | IEEE Conference Publication | IEEE Xplore