Shiyou Huang, Jianmei Guo, Sanhong Li, Xiang Li, Yumin Qi, Kingsum Chow, Jeff Huang 0001. SafeCheck: safety enhancement of Java unsafe API. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 889-899, IEEE / ACM, 2019. [doi]
Abstract is missing.