Perses: syntax-guided program reduction.

Chengnian Sun Yuanbo Li Qirun Zhang Tianxiao Gu Zhendong Su

Published in: ICSE (2018)

Keyphrases

concurrent programs
machine learning
high level
information retrieval
computer programs
static analysis
reduction method
data sets
feature selection
data structure
natural language
object oriented
logic programs
test cases