Mining and Detecting Bugs in Introductory Programs. - Wenchu Xu; Yanran Ma (SEED/QuASoQ@APSEC, 2021)

A Static Analysis Framework for Detecting Bugs in Introductory Programs. - Wenchu Xu; Yanran Ma (ISSRE Workshops, 2021)