Checking temporal patterns of API usage without code execution | IEEE Conference Publication | IEEE Xplore