# Enhancing Symbolic Execution by Machine Learning Based Solver Selection

> Research article (Proceedings 2019 Workshop on Binary Analysis Research, 2019) · cited 11× · AI/ML

**Wikidata**: [openalex:W2945897320](https://www.wikidata.org/wiki/openalex:W2945897320)  
**Source**: https://4ort.xyz/entity/enhancing-symbolic-execution-by-machine-learning-based-solver-selection