Ad Hoc Syntax-Guided Program Reduction.

Jia Le Tian Mengxiao Zhang Zhenyang Xu Yongqiang Tian Yiwen Dong Chengnian Sun

Published in: ESEC/SIGSOFT FSE (2023)

Keyphrases

program execution
static analysis
attribute reduction
reduction method
neural network
web pages
high level
database systems
natural language
programming environment
control program
concurrent programs