Mokav: Execution-driven Differential Testing with LLMs.

Khashayar Etemadi Bardia Mohammadi Zhendong Su Martin Monperrus

Published in: CoRR (2024)

Keyphrases

data driven
testing process
databases
symbolic execution
data sets
information systems
test suite
concurrent execution
test data generation
execution model
computational grids
control flow
test data
test cases
objective function
multiscale
artificial intelligence