Sungho Lee. JNI program analysis with automatically extracted C semantic summary. In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 448-451, ACM, 2019. [doi]
Abstract is missing.