Metamorphic Testing(蜕变测试)
Metamorphic testing的两篇综述论文
-
Sergio Segura, Gordon Fraser, Ana Belén Sánchez, Antonio Ruiz Cortés: A Survey on Metamorphic Testing. IEEE Trans. Software Eng. 42(9): 805-824 (2016) (https://ieeexplore.ieee.org/document/7422146)
-
Yueh Chen, Fei-Ching Kuo, Huai Liu, Pak-Lok Poon, Dave Towey, T. H. Tse, Zhi Quan Zhou: Metamorphic Testing: A Review of Challenges and Opportunities. ACM Comput. Surv. 51(1): 4:1-4:27 (2018) (https://dl.acm.org/doi/10.1145/3143561, 给出了对MT更深入的分析，解释了一些对MT的误解，强烈推荐！）
Metamorphic testing的简易技术教程
-
“Metamorphic Testing 20 Years Later: A Hands‐on Introduction” by Sergio Segura, Zhi Quan Zhou, ICSE 2018, Technical Briefing （https://zenodo.org/record/1256230/files/ICSE18-TB-Segura-Zhou.pdf， 对MT的相关概念进行了梳理，有些内容来源于上面的两篇综述论文）
如何找到Metamorphic Relation (MR)？（这是应用Metamorphic Testing的关键问题）
-
Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson: Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. MET@ICSE 2021: 61-68 （给出了一些如何找到MR的经验性原则）
MT的典型应用论文：
[编译器测试]
-
Vu Le, Mehrdad Afshari, Zhendong Su: Compiler validation via equivalence modulo inputs. PLDI 2014: 216-226 (Complier Testing)
[APP测试]
-
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su: Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. Proc. ACM Program. Lang. 5(OOPSLA): 1-31 (2021)
-
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su: Understanding and finding system setting-related defects in Android apps. ISSTA 2021: 204-215
[数据库测试]
-
Manuel Rigger, Zhendong Su: Testing Database Engines via Pivoted Query Synthesis. OSDI 2020: 667-682
-
Manuel Rigger, Zhendong Su: Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang. 4(OOPSLA): 211:1-211:30 (2020)
-
Manuel Rigger, Zhendong Su: Detecting optimization bugs in database engines via non-optimizing reference engine construction. ESEC/SIGSOFT FSE 2020: 1140-1152
[SMT测试]
-
Dominik Winterer, Chengyu Zhang, Zhendong Su: Validating SMT solvers via semantic fusion. PLDI 2020: 718-730
[其他领域]
-
Andrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler: Metamorphic Fuzzing of C++ Libraries. ICST 2022: 35-46