2 ms·Hybrid Concolic Testing with Large Language Models for Guided Path Exploration1 points by PaulHoule 9mo ago