Chao-Chun Yeh, Han-Lin Lu, Jia-Jun Yeh, Shih-Kun Huang. Path Exploration Based on Monte Carlo Tree Search for Symbolic Execution. In Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017, Taipei, Taiwan, December 1-3, 2017. pages 33-37, IEEE, 2017. [doi]
Abstract is missing.