Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang 0001, Ming Gu, Jiaguang Sun. Vetting API usages in C programs with IMChecker. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 91-94, IEEE / ACM, 2019. [doi]
Abstract is missing.