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]
Abstract is missing.