Boosting symbolic execution via constraint solving time prediction (experience paper) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, Yangfan Zhou. Boosting symbolic execution via constraint solving time prediction (experience paper). In Cristian Cadar, Xiangyu Zhang 0001, editors, ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. pages 336-347, ACM, 2021. [doi]

This author has not been identified. Look up 'Sicheng Luo' in GoogleThis author has not been identified. Look up 'Hui Xu' in GoogleThis author has not been identified. Look up 'Yanxiang Bi' in GoogleThis author has not been identified. Look up 'Xin Wang' in GoogleThis author has not been identified. Look up 'Yangfan Zhou' in Google

runs on WebDSL