Optimizing decision making in concolic execution using reinforcement learning.

Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu

Browse the full ICST paper archive.