A two-step approach for pattern-based API-call constraint checking

Dongwoo Kim, Yunja Choi. A two-step approach for pattern-based API-call constraint checking. Science of Computer Programming, 163:19-41, 2018. [doi]

Abstract

Abstract is missing.