Symbolic execution of complex program driven by machine learning based constraint solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li. Symbolic execution of complex program driven by machine learning based constraint solving. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 554-559, ACM, 2016. [doi]

This author has not been identified. Look up 'Xin Li' in GoogleThis author has not been identified. Look up 'Yongjuan Liang' in GoogleThis author has not been identified. Look up 'Hong Qian' in GoogleThis author has not been identified. Look up 'Yi-Qi Hu' in GoogleThis author has not been identified. Look up 'Lei Bu' in GoogleThis author has not been identified. Look up 'Yang Yu' in GoogleThis author has not been identified. Look up 'Xin Chen' in GoogleThis author has not been identified. Look up 'Xuandong Li' in Google

runs on WebDSL