DOI

Path explosion is a crucial problem in symbolic execution that leads to poor performance in symbolic execution engines and hinders the widespread adoption of respective tools. A path selector is a component of a symbolic machine designed to address the path explosion problem. AI-powered path selectors have gained attention, but many challenges regarding the training process, feature selection, and information representation remain. We propose PySymGym, a framework for training AI-powered path selectors through typical supervised learning, which includes language-independent, graph-based data representation, a training protocol that minimizes manual dataset preparation, and supportive infrastructure. Evaluation of the proposed solution shows that it enables training models comparable to searchers based on manually developed heuristics: providing close coverage percentage at comparable analysis time (with the same timeout), and allowing the system to generate fewer tests.
Язык оригиналаанглийский
Название основной публикации 2025 IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC)
ИздательInstitute of Electrical and Electronics Engineers Inc.
Страницы13-16
Число страниц4
ISBN (электронное издание)979-8-3315-1462-4
ISBN (печатное издание)9798331514624
DOI
СостояниеОпубликовано - 29 апр 2025
СобытиеIEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC) -
Продолжительность: 29 апр 202529 апр 2025
https://conf.researchr.org/home/icse-2025/static-2025#About

конференция

конференцияIEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC)
Период29/04/2529/04/25
Сайт в сети Internet

ID: 137726913