Journal of Computer Science and Technology Hybrid Editor-in-Chief: Zhi-Wei Xu
Home Journal of Computer Science and Technology Keyword
Keyword: static analysis
Regular Paper
MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels
Gen Zhang, Peng-Fei Wang, Tai Yue, [...], Xu Zhou, Kai Lu << Fewer
Published: 30 November 2021
2021, 36 (6): 1248-1268
Regular Paper
Feature Selection for Malware Detection on the Android Platform Based on Differences of IDF Values
Gökçer Peynirci, Mete Eminağaoğlu, Korhan Karabulut
Published: 27 July 2020
2020, 35 (4): 946-962
Regular Paper
Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
Ming-Zhe Zhang, Yun-Zhan Gong, Ya-Wen Wang, Da-Hai Jin
Published: 10 May 2019
2019, 34 (3): 670-689
Regular Paper
Automatic Detection and Repair Recommendation for Missing Checks
Ling-Yun Situ, Lin-Zhang Wang, Yang Liu, [...], Bing Mao, Xuan-Dong Li << Fewer
Published: 06 September 2019
2019, 34 (5): 972-992
Regular Paper
Understanding and Detecting Inefficient Image Displaying Issues in Android Apps
Wen-Jie Li, Jun Ma, Yan-Yan Jiang, [...], Chang Xu, Xiao-Xing Ma << Fewer
Published: 30 March 2024
2024, 39 (2): 434-459
Total 5