Validating LLM-Generated Programs with Metamorphic Prompt Testing.

Xiaoyin Wang Dakai Zhu

Published in: CoRR (2024)

Keyphrases

automatically generated
test cases
symbolic execution
software engineering
generation method
randomly selected
test set
multiscale
database systems
search algorithm
artificial intelligence
web services
image processing
knowledge base
automatic programming
testing process
e learning