Program Analysis for Software Engineers and Students - Tan, Jialiang (ProQuest Dissertations and Theses, 2024)