Rui-Xin Zhang

NEUROTESTGEN: Neuro-Symbolic Guided Test Generation with Large Language Models

This paper introduces NEUROTESTGEN, a hybrid approach that integrates symbolic execution with LLM-driven test synthesis to generate test cases targeting on-demand code coverage and incorporates an iterative feedback loop that validates LLM-generated tests and provides corrective guidance until the target line or branch...