Hybrid Concolic Testing with Large Language Models for Guided Path Exploration

Mahdi Eslamimehr

Concolic testing, a powerful hybrid software testing technique, has historically been plagued by fundamental limitations such as path explosion and the high cost of constraint solv…