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]
@inproceedings{WuZP20,
title = {Reinforcement Learning Guided Symbolic Execution},
author = {Jie Wu and Chengyu Zhang and Geguang Pu},
year = {2020},
doi = {10.1109/SANER48275.2020.9054815},
url = {https://doi.org/10.1109/SANER48275.2020.9054815},
researchr = {https://researchr.org/publication/WuZP20},
cites = {0},
citedby = {0},
pages = {662-663},
booktitle = {27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020},
editor = {Kostas Kontogiannis and Foutse Khomh and Alexander Chatzigeorgiou and Marios-Eleftherios Fokaefs and Minghui Zhou},
publisher = {IEEE},
isbn = {978-1-7281-5143-4},
}