# Machine learning steered symbolic execution framework for complex software code

> Research article (Formal Aspects of Computing, 2021) · cited 12× · AI/ML

**Wikidata**: [openalex:W3165394903](https://www.wikidata.org/wiki/openalex:W3165394903)  
**Source**: https://4ort.xyz/entity/machine-learning-steered-symbolic-execution-framework-for-complex-software-code