Define-Use Guided Path Exploration for Better Forced Execution.

Dongnan He, Dongchen Xie, Yujie Wang, Wei You, Bin Liang, Jianjun Huang, Wenchang Shi, Zhuo Zhang, Xiangyu Zhang

Browse the full ISSTA paper archive.