CoverUp: Coverage-Guided LLM-Based Test Generation.

Juan Altmayer Pizzorno Emery D. Berger

Published in: CoRR (2024)

Keyphrases

test generation
code coverage
test cases
symbolic execution
test sequences
test suite
design automation
static analysis
mutation testing
software testing
quality assurance
test data generation
video sequences
databases
petri net