Machine learning steered symbolic execution framework for complex software code

DOI10.1007/s00165-021-00538-3OpenAlexW3165394903MaRDI QIDQ2050084

Xin Chen, Yang Yu, Yi-Qi Hu, Zhunyi Xie, Xuandong Li, Yongjuan Liang, Lei Bu, Hong Qian

Publication date: 30 August 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00538-3

zbMATH Keywords

machine learningconstraint solvingsymbolic executionnonlinear path condition

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

MLBSE

Uses Software

• CUTE
• GSL
• DART
• Pex
• Java PathFinder
• GitHub
• XSat
• jCUTE
• JaCoCo

This page was built for publication: Machine learning steered symbolic execution framework for complex software code