×
2024
Define-Use Guided Path Exploration for Better Forced Execution.
[DOI]
Dongnan He
,
Dongchen Xie
,
Yujie Wang
,
Wei You
,
Bin Liang
,
Jianjun Huang
,
Wenchang Shi
,
Zhuo Zhang
,
Xiangyu Zhang
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024