Interactive Patch Filtering via Test Generation.

Quanjun Zhang Xu Zhai Shicheng Xu Wanmin Huang Jingui Zhang Yaoming Fan

Published in: DSA (2022)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
computer graphics
static analysis
quality assurance
mutation testing
software testing
databases
test data generation
data sets
real world
metadata
image patches