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]
No references recorded for this publication.
No citations of this publication recorded.