Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu. Optimizing decision making in concolic execution using reinforcement learning. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 52-61, IEEE, 2020. [doi]
@inproceedings{PaduraruPS20,
title = {Optimizing decision making in concolic execution using reinforcement learning},
author = {Ciprian Paduraru and Miruna Paduraru and Alin Stefanescu},
year = {2020},
doi = {10.1109/ICSTW50294.2020.00025},
url = {https://doi.org/10.1109/ICSTW50294.2020.00025},
researchr = {https://researchr.org/publication/PaduraruPS20},
cites = {0},
citedby = {0},
pages = {52-61},
booktitle = {13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020},
publisher = {IEEE},
isbn = {978-1-7281-1075-2},
}