Hao-Ran Yan

STARS: Static Analysis-Guided Assertion Synthesis using Large Language Models

Automated unit test generation promises to reduce the cost of software quality assurance, and hence, is attracting attention from both academia and industry. Yet, generating assertions that are executable, meaningful to developers, and able to catch faults remains an unsolved challenge. Existing approaches either rando...