Enhancing LLM-based Test Generation for Hard-to-Cover Branches via Program Analysis.

Chen Yang Junjie Chen Bin Lin Jianyi Zhou Ziqi Wang

Published in: CoRR (2024)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
static analysis
quality assurance
mutation testing
software testing
artificial intelligence
decision making
metadata
image processing
search space
regression testing