Reinforcement Learning Guided Symbolic Execution

Jie Wu, Chengyu Zhang, Geguang Pu. Reinforcement Learning Guided Symbolic Execution. In Kostas Kontogiannis, Foutse Khomh, Alexander Chatzigeorgiou, Marios-Eleftherios Fokaefs, Minghui Zhou, editors, 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020. pages 662-663, IEEE, 2020. [doi]

Authors

Jie Wu

This author has not been identified. Look up 'Jie Wu' in Google

Chengyu Zhang

This author has not been identified. Look up 'Chengyu Zhang' in Google

Geguang Pu

This author has not been identified. Look up 'Geguang Pu' in Google