-
Scanner plus plus : Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization
Author: Yin, Zijing; Xu, Yiwen; Ma, Fuchen; Gao, Haohao; Qiao, Lei; Jiang, Yu
Journal: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 2023; Vol. 32, Issue 1, pp. -. DOI: 10.1145/3517036
-
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP
Author: Xu, Xiong; Talpin, Jean-Pierre; Wang, Shuling; Zhan, Bohua; Zhan, Naijun
Journal: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 2023; Vol. 32, Issue 1, pp. -. DOI: 10.1145/3517192
-
LiDetector: License Incompatibility Detection for Open Source Software
Author: Xu, Sihan; Gao, Ya; Fan, Lingling; Liu, Zheli; Liu, Yang; Ji, Hua
Journal: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 2023; Vol. 32, Issue 1, pp. -. DOI: 10.1145/3518994
-
Feedback-Directed Metamorphic Testing
Author: Sun, Chang-Ai; Dai, Hepeng; Liu, Huai; Chen, Tsong Yueh
Journal: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 2023; Vol. 32, Issue 1, pp. -. DOI: 10.1145/3533314
-
Preference-wise Testing of Android Apps via Test Amplification
Author: Pan, Minxue; Lu, Yifei; Pei, Yu; Zhang, Tian; Li, Xuandong
Journal: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 2023; Vol. 32, Issue 1, pp. -. DOI: 10.1145/3511804
-
Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations
Author: Nie, Pengbo; Wan, Chengcheng; Zhu, Jiayu; Lin, Ziyi; Chen, Yuting; Su, Zhendong
Journal: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 2023; Vol. 32, Issue 1, pp. -. DOI: 10.1145/3510416
-
Combatting Energy Issues for Mobile Applications
Author: Li, Xueliang; Chen, Junyang; Liu, Yepang; Wu, Kaishun; Gallagher, John P.
Journal: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 2023; Vol. 32, Issue 1, pp. -. DOI: 10.1145/3527851
-
TokenAware: Accurate and Efficient Bookkeeping Recognition for Token Smart Contracts
Author: He, Zheyuan; Song, Shuwei; Bai, Yang; Luo, Xiapu; Chen, Ting; Zhang, Wensheng; He, Peng; Li, Hongwei; Lin, Xiaodong; Zhang, Xiaosong
Journal: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 2023; Vol. 32, Issue 1, pp. -. DOI: 10.1145/3560263
