Attention: Not Just Another Dataset for Patch-Correctness Checking.

Yuehan Wang Jun Yang Yiling Lou Ming Wen Lingming Zhang

Published in: CoRR (2022)

Keyphrases

image patches
data sets
expert systems
higher order
benchmark datasets
real time
artificial intelligence
three dimensional
search algorithm
real life
integrity constraints
synthetic datasets
focus of attention
provably correct