Song Huang

Prof. Dr. Song Huang

College of Command and Control Engineering, Army Engineering University of PLA, Nanjing, China

Research Focus & Metrics

Academic Career Length

15Years (2012-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
2 January 2019 in Software Quality Journal
Verified
Journal Article
Closed access
PDF file
HJHaijin Ji
Haijin Ji
Song HuangSong Huang
Song Huang
YWYaning Wu
Yaning Wu
ZHZhanwei Hui
Zhanwei Hui
CZChangyou Zheng
Changyou Zheng

12 April 2024
Verified
Conference Paper
Open access
JHJinchang Hu
Jinchang Hu
LZLyuye Zhang
Lyuye Zhang
CLChengwei Liu
Chengwei Liu
SYSen Yang
Sen Yang
Song HuangSong Huang
Song Huang
YLYang Liu
Yang Liu
Open-source software (OSS) greatly facilitates program development for developers. However, the high number of vulnerabilities in open-source software is a major concern, including in Golang, a relatively new programming language. In contrast to other commonly used OSS package managers, Golang presents a distinctive feature whereby commits are prevalently used as dependency versions prior to their integration into official releases. This attribute can prove advantageous to users, as patch commits can be implemented in a timely manner before the releases. However, Golang employs a decentralized mechanism for managing dependencies, whereby dependencies are upheld and distributed in separate repositories. This approach can result in delays in the dissemination of patches and unresolved vulnerabilities. To tackle the aforementioned concern, a comprehensive investigation was undertaken to examine the life cycle of vulnerability in Golang, commencing from its introduction and culminating with its rectification. To this end, a framework was established by gathering data from diverse sources and systematically amalgamating them with an algorithm to compute the lags in vulnerability patching. It turned out that 66.10% of modules in the Golang ecosystem were affected by vulnerabilities. Within the vulnerability life cycle, we found two kinds of lag impeding the propagation of vulnerability fixing. By analyzing reasons behind non-lagged and lagged vulnerabilities, timely releasing and indexing patch versions could significantly enhance ecosystem security.

9 August 2024 in Automated Software Engineering
Verified
Journal Article
Closed access
PDF file
QYQu Yubin
Qu Yubin
Song HuangSong Huang
Song Huang
YYYongming Yao
Yongming Yao

9 September 2021 in IEEE Transactions on Reliability
Verified
Journal Article
Closed access
ZHZhan-Wei Hui
Zhan-Wei Hui
XWXiaojuan Wang
Xiaojuan Wang
Song HuangSong Huang
Song Huang
SYSen Yang
Sen Yang
Most of metamorphic testing (MT) research works focused on the generation and application of metamorphic relations (MRs). There is no clear conclusion about the relationship between test case generation methods and performance of MT. In this article, we introduce a novel method based on adaptive random testing (ART) and MR for MT test case generation. It proposes a family of algorithms for MT test cases generation, named as MT based ART (MT-ART). Three distances are measured to generate the next MT test case. In order to verify the performance of this method, series of experiments on four programs with different numbers of inputs are introduced. The results show that MT-ART performs better than other ART algorithms not only in test effectiveness, but also in test efficiency and test coverage. Based on this article, the following conclusions can be drawn: first, considering the effectiveness of MRs and test cases in MT may lead to better results. In this way, most of the existing research can be improved by this method. This is the most important contribute of our research. Second, not only the source test cases, but also the follow-up test cases can improve the performance of MT. Therefore, they should be considered together during the process of the next test case generation. Third, the average distance performs better than the max distance and the minimum distance in metamorphic test case selection.

28 January 2025 in Automated Software Engineering
Verified
Journal Article
Closed access
PDF file
QYQu Yubin
Qu Yubin
Song HuangSong Huang
Song Huang
YLYanzhou Li
Yanzhou Li
TBTongtong Bai
Tongtong Bai
Xiang ChenXiang Chen
Xiang Chen
YYYongming Yao
Yongming Yao

29 September 2023 in Journal of Systems and Software
Verified
Journal Article
Closed access
YQyubin qu
yubin qu
Song HuangSong Huang
Song Huang
Xiang ChenXiang Chen
Xiang Chen
XWXingya Wang
Xingya Wang
YYYongming Yao
Yongming Yao