References

This page lists the works cited throughout the book.

Gharachorlu, Golnaz, and Nick Sumner. 2019. “Pardis: Priority-Aware Test-Case Reduction.” Fundamental Approaches to Software Engineering — 22nd International Conference, FASE 2019, 409–26. https://doi.org/10.1007/978-3-030-16722-6_24.

Herfert, Satia, Jibesh Patra, and Michael Pradel. 2017. “Automatically Reducing Tree-Structured Test Inputs.” Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 861–71. https://doi.org/10.1109/ASE.2017.8115697.

Hodován, Renáta, and Ákos Kiss. 2016. “Practical Improvements to the Minimizing Delta Debugging Algorithm.” Proceedings of the 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, 1–7. https://doi.org/10.1109/ICSTW.2016.37.

Hodován, Renáta, Ákos Kiss, and Tibor Gyimóthy. 2017. “Coarse Hierarchical Delta Debugging.” Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 194–203. https://doi.org/10.1109/ICSME.2017.26.

Kalhauge, Christian Gram, and Jens Palsberg. 2019. “Binary Reduction of Dependency Graphs.” Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 556–66. https://doi.org/10.1145/3338906.3338956.

McPeak, Scott, Daniel S. Wilkerson, and Simon Goldsmith. 2003. Berkeley Delta. Https://github.com/dsw/delta.

Misherghi, Ghassan, and Zhendong Su. 2006. “HDD: Hierarchical Delta Debugging.” Proceedings of the 28th International Conference on Software Engineering, 142–51. https://doi.org/10.1145/1134285.1134307.

Poláček, Marek et al. 2019. C-Vise: A Super-Parallel C/C++ Program Reducer. Https://github.com/marxin/cvise.

Regehr, John, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, and Xuejun Yang. 2012. “Test-Case Reduction for C Compiler Bugs.” Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 335–46. https://doi.org/10.1145/2254064.2254104.

Sun, Chengnian, Yuanbo Li, Qirun Zhang, Tianxiao Gu, and Zhendong Su. 2018. “Perses: Syntax-Guided Program Reduction.” Proceedings of the 40th International Conference on Software Engineering, 361–71. https://doi.org/10.1145/3180155.3180236.

Tian, Jia Le, Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yiwen Dong, and Chengnian Sun. 2023. “Ad Hoc Syntax-Guided Program Reduction.” Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2137–41. https://doi.org/10.1145/3611643.3613101.

Tian, Yongqiang, Xueyan Zhang, Yiwen Dong, et al. 2023. “On the Caching Schemes to Speed up Program Reduction.” ACM Transactions on Software Engineering and Methodology 33 (1): 1–30.

Wang, Guancheng, Ralf-Dieter Shen, Junjie Chen, Yingfei Xiong, and Lu Zhang. 2021. “Probabilistic Delta Debugging.” Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 881–92. https://doi.org/10.1145/3468264.3468625.

Xu, Zhenyang, Yongqiang Tian, Mengxiao Zhang, Jiarui Zhang, et al. 2025. “T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax.” ACM Transactions on Software Engineering and Methodology 34 (2). https://doi.org/10.1145/3690631.

Xu, Zhenyang, Yongqiang Tian, Mengxiao Zhang, and Chengnian Sun. 2025. “Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations.” Proceedings of the ACM on Programming Languages 9 (OOPSLA2): 86–112. https://doi.org/10.1145/3763053.

Xu, Zhenyang, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, and Chengnian Sun. 2023. “Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction.” Proceedings of the ACM on Programming Languages 7 (OOPSLA1): 636–64.

Xu, Zhenyang, Yiran Wang, Yongqiang Tian, Mengxiao Zhang, and Chengnian Sun. 2025. “Latra: A Template-Based Language-Agnostic Transformation Framework for Effective Program Reduction.” Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering.

Yang, Xuejun, Yang Chen, Eric Eide, and John Regehr. 2011. “Finding and Understanding Bugs in C Compilers.” Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 283–94. https://doi.org/10.1145/1993498.1993532.

Zeller, Andreas. 1999. “Yesterday, My Program Worked. Today, It Does Not. Why?” Proceedings of the 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 253–67. https://doi.org/10.1145/318774.318946.

Zeller, Andreas, and Ralf Hildebrandt. 2002. “Simplifying and Isolating Failure-Inducing Input.” IEEE Transactions on Software Engineering 28 (2): 183–200.

Zhang, Mengxiao, Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Shin Hwei Tan, and Chengnian Sun. 2024. “LPR: Large Language Models-Aided Program Reduction.” Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 261–73.

Zhang, Mengxiao, Zhenyang Xu, Yongqiang Tian, Xinru Cheng, and Chengnian Sun. 2025. “Toward a Better Understanding of Probabilistic Delta Debugging.” Proceedings of the 47th International Conference on Software Engineering, 2024–35. https://doi.org/10.1109/ICSE55347.2025.00117.

Zhang, Mengxiao, Zhenyang Xu, Yongqiang Tian, Yu Jiang, and Chengnian Sun. 2023. “PPR: Pairwise Program Reduction.” Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 338–49.

Zhou, Xintong, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian, and Chengnian Sun. 2025. “WDD: Weighted Delta Debugging.” Proceedings of the 47th International Conference on Software Engineering, 1592–603. https://doi.org/10.1109/ICSE55347.2025.00071.