Optimizing decision making in concolic execution using reinforcement learning

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]

Authors

Ciprian Paduraru

This author has not been identified. Look up 'Ciprian Paduraru' in Google

Miruna Paduraru

This author has not been identified. Look up 'Miruna Paduraru' in Google

Alin Stefanescu

This author has not been identified. Look up 'Alin Stefanescu' in Google