Perses: syntax-guided program reduction.

Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su

Browse the full ICSE paper archive.