collaborators

1 paper

cs.SE2026

PALM: Path-aware LLM-based Test Generation with Comprehension

Yaoxuan Wu, Xiaojie Zhou, Ahmad Humayun +2

Symbolic execution is a widely used technique for test generation, offering systematic exploration of program paths through constraint solving. However, it is fundamentally constra…