{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:03:34Z","timestamp":1750309414064,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Natural Sciences and Engineering Research Council of Canada","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,13]]},"DOI":"10.1145\/3679006.3685068","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:08:26Z","timestamp":1726211306000},"page":"10-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Category Partition to Detect Metamorphic Relations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-3544-858X","authenticated-orcid":false,"given":"Saba","family":"Pedram","sequence":"first","affiliation":[{"name":"Carleton University, Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8880-4836","authenticated-orcid":false,"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"volume-title":"Introduction to software testing","author":"Ammann Paul","key":"e_1_3_2_1_1_1","unstructured":"Paul Ammann and Jeff Offutt. 2016. Introduction to software testing. Cambridge University Press."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75332"},{"key":"e_1_3_2_1_4_1","volume-title":"The oracle problem in software testing: A survey","author":"Barr Earl T","year":"2014","unstructured":"Earl T Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo. 2014. The oracle problem in software testing: A survey. IEEE transactions on software engineering, 41, 5 (2014), 507\u2013525."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111041"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.06.006"},{"key":"e_1_3_2_1_7_1","volume-title":"2013 13th International Conference on Quality Software. 153\u2013162","author":"Cao Yuxiang","year":"2013","unstructured":"Yuxiang Cao, Zhi Quan Zhou, and Tsong Yueh Chen. 2013. On the correlation between the effectiveness of metamorphic relations and dissimilarities of test case executions. In 2013 13th International Conference on Quality Software. 153\u2013162."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 20th IASTED International Multi-Conference on Applied Informatics (AI","author":"Chen TY","year":"2002","unstructured":"TY Chen, MY Cheng, PL Poon, TH Tse, and YT Yu. 2002. A study on input domain partitioning. In Proceedings of the 20th IASTED International Multi-Conference on Applied Informatics (AI 2002), ACTA Press, Calgary, Canada."},{"key":"e_1_3_2_1_9_1","unstructured":"TY Chen SC Cheungx and SM Yiu. 2020. Metamorphic testing: a new approach for generating next test cases. arXiv preprint arXiv:2002.12543."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC","author":"Chen Tsong Yueh","year":"2004","unstructured":"Tsong Yueh Chen, DH Huang, TH Tse, and Zhi Quan Zhou. 2004. Case studies on the selection of useful relations in metamorphic testing. In Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004). 569\u2013583."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3143561","article-title":"Metamorphic testing: A review of challenges and opportunities","volume":"51","author":"Chen Tsong Yueh","year":"2018","unstructured":"Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Pak-Lok Poon, Dave Towey, TH Tse, and Zhi Quan Zhou. 2018. Metamorphic testing: A review of challenges and opportunities. ACM Computing Surveys (CSUR), 51, 1 (2018), 1\u201327.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/TSE.2011.69","article-title":"DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation","volume":"38","author":"Chen Tsong Yueh","year":"2011","unstructured":"Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, and TH Tse. 2011. DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation. IEEE Transactions on Software Engineering, 38, 4 (2011), 794\u2013809.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_13_1","volume-title":"On the identification of categories and choices for specification-based test case generation. Information and software technology, 46, 13","author":"Chen Tsong Yueh","year":"2004","unstructured":"Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, and Tsun H Tse. 2004. On the identification of categories and choices for specification-based test case generation. Information and software technology, 46, 13 (2004), 887\u2013898."},{"key":"e_1_3_2_1_14_1","volume-title":"A choice relation framework for supporting category-partition test case generation","author":"Chen Tsong Yueh","year":"2003","unstructured":"Tsong Yueh Chen, Pak-Lok Poon, and Tsun-Him Tse. 2003. A choice relation framework for supporting category-partition test case generation. IEEE transactions on software engineering, 29, 7 (2003), 577\u2013593."},{"key":"e_1_3_2_1_15_1","volume-title":"2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 153\u2013164","author":"Clark Andrew G","year":"2023","unstructured":"Andrew G Clark, Michael Foster, Neil Walkinshaw, and Robert M Hierons. 2023. Metamorphic testing with causal graphs. In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 153\u2013164."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MET52542.2021.00012"},{"key":"e_1_3_2_1_17_1","volume-title":"2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 1147\u20131154","author":"Duque-Torres Alejandra","year":"2022","unstructured":"Alejandra Duque-Torres, Dietmar Pfahl, Claus Klammer, and Stefan Fischer. 2022. Using source code metrics for predicting metamorphic relations at method level. In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 1147\u20131154."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9135-7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.319"},{"key":"e_1_3_2_1_20_1","first-page":"30","article-title":"Test case design using classification trees and the classification-tree editor CTE","volume":"95","author":"Grochtmann Matthias","year":"1995","unstructured":"Matthias Grochtmann, Joachim Wegener, and Klaus Grimm. 1995. Test case design using classification trees and the classification-tree editor CTE. In Proceedings of Quality Week. 95, 30.","journal-title":"Proceedings of Quality Week."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348872"},{"key":"e_1_3_2_1_22_1","unstructured":"Jean Hartmann Marlon Vieira Herb Foster and Axel Ruder. 2004. UML-based test generation and execution. Pr\u00e4sentation auf der TAV21 in Berlin 28."},{"key":"e_1_3_2_1_23_1","article-title":"OCL-Based Test Case Generation Using Category Partitioning Method","volume":"6","author":"Jalila A","year":"2015","unstructured":"A Jalila and D Jeya Mala. 2015. OCL-Based Test Case Generation Using Category Partitioning Method.. ICTACT Journal on Soft Computing, 6, 1 (2015).","journal-title":"ICTACT Journal on Soft Computing"},{"key":"e_1_3_2_1_24_1","volume-title":"Predicting metamorphic relations for testing scientific software: a machine learning approach using graph kernels. Software testing, verification and reliability, 26, 3","author":"Kanewala Upulee","year":"2016","unstructured":"Upulee Kanewala, James M Bieman, and Asa Ben-Hur. 2016. Predicting metamorphic relations for testing scientific software: a machine learning approach using graph kernels. Software testing, verification and reliability, 26, 3 (2016), 245\u2013269."},{"key":"e_1_3_2_1_25_1","first-page":"e1868","article-title":"Extending Category Partition\u2019s Base Choice criterion to better support constraints","volume":"30","author":"Khalsa Sunint Kaur","year":"2018","unstructured":"Sunint Kaur Khalsa and Yvan Labiche. 2018. Extending Category Partition\u2019s Base Choice criterion to better support constraints. Journal of Software: Evolution and Process, 30, 3 (2018), e1868.","journal-title":"Journal of Software: Evolution and Process"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2915970.2915999"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.41"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 8th European International Conference on Software Testing, Analysis & Review (EuroSTAR","author":"Lehmann Eckard","year":"2000","unstructured":"Eckard Lehmann and Joachim Wegener. 2000. Test case design by means of the CTE XL. In Proceedings of the 8th European International Conference on Software Testing, Analysis & Review (EuroSTAR 2000), Kopenhagen, Denmark."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2012.10"},{"volume-title":"The craft of software testing: subsystem testing including object-based and object-oriented testing","author":"Marick Brian","key":"e_1_3_2_1_30_1","unstructured":"Brian Marick. 1994. The craft of software testing: subsystem testing including object-based and object-oriented testing. Prentice-Hall, Inc.."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.24"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"e_1_3_2_1_33_1","volume-title":"International Conference on Computational Science. 503\u2013516","author":"Peng Zedong","year":"2022","unstructured":"Zedong Peng, Xuanyi Lin, Sreelekhaa Nagamalli Santhoshkumar, Nan Niu, and Upulee Kanewala. 2022. Learning i\/o variables from scientific software\u2019s user manuals. In International Conference on Computational Science. 503\u2013516."},{"key":"e_1_3_2_1_34_1","volume-title":"2013 13th International Conference on Quality Software. 230\u2013237","author":"Poon Pak-Lok","year":"2013","unstructured":"Pak-Lok Poon, Tsong Yueh Chen, and TH Tse. 2013. Incremental identification of categories and choices for test case generation: a study of the software practitioners\u2019 preferences. In 2013 13th International Conference on Quality Software. 230\u2013237."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-010-9109-4"},{"key":"e_1_3_2_1_36_1","first-page":"1001","article-title":"Theoretical and empirical analyses of the effectiveness of metamorphic relation composition","volume":"48","author":"Qiu Kun","year":"2020","unstructured":"Kun Qiu, Zheng Zheng, Tsong Yueh Chen, and Pak-Lok Poon. 2020. Theoretical and empirical analyses of the effectiveness of metamorphic relation composition. IEEE Transactions on software engineering, 48, 3 (2020), 1001\u20131017.","journal-title":"IEEE Transactions on software engineering"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops. 420\u2013424","author":"Rahman Karishma","year":"2020","unstructured":"Karishma Rahman, Indika Kahanda, and Upulee Kanewala. 2020. MRpredT: Using text mining for metamorphic relation prediction. In Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops. 420\u2013424."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182528"},{"key":"e_1_3_2_1_40_1","first-page":"1764","article-title":"METRIC+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains","volume":"47","author":"Sun Chang-Ai","year":"2019","unstructured":"Chang-Ai Sun, An Fu, Pak-Lok Poon, Xiaoyuan Xie, Huai Liu, and Tsong Yueh Chen. 2019. METRIC+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains. IEEE Transactions on Software Engineering, 47, 9 (2019), 1764\u20131785.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 1st International Workshop on Metamorphic Testing. 12\u201318","author":"Liu Yiqiang","year":"2016","unstructured":"Chang-ai Sun, Yiqiang Liu, Zuoyi Wang, and WK Chan. 2016. \u03bc MT: a data mutation directed metamorphic relation acquisition methodology. In Proceedings of the 1st International Workshop on Metamorphic Testing. 12\u201318."},{"key":"e_1_3_2_1_42_1","volume-title":"International Conference on Computational Science. 321\u2013335","author":"Tsigkanos Christos","year":"2023","unstructured":"Christos Tsigkanos, Pooja Rani, Sebastian M\u00fcller, and Timo Kehrer. 2023. Variable discovery with large language models for metamorphic testing of scientific software. In International Conference on Computational Science. 321\u2013335."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_2_1_44_1","volume-title":"29th Annual International Computer Software and Applications Conference (COMPSAC\u201905)","author":"Wu Peng","year":"2005","unstructured":"Peng Wu. 2005. Iterative metamorphic testing. In 29th Annual International Computer Software and Applications Conference (COMPSAC\u201905). 1, 19\u201324."},{"key":"e_1_3_2_1_45_1","first-page":"1","article-title":"MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases","volume":"33","author":"Xu Congying","year":"2024","unstructured":"Congying Xu, Valerio Terragni, Hengcheng Zhu, Jiarong Wu, and Shing-Chi Cheung. 2024. MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases. ACM Transactions on Software Engineering and Methodology, 33, 6 (2024), 1\u201328.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111012"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops. 404\u2013409","author":"Yang Yingzhuo","year":"2020","unstructured":"Yingzhuo Yang and Chang Xu. 2020. M.R. Hunter: Hunting for metamorphic relations by puzzle solving. In Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops. 404\u2013409."},{"key":"e_1_3_2_1_48_1","volume-title":"2013 IEEE Sixth International Conference on Software Testing, Verification and Validation. 370\u2013375","author":"Yu Linbin","year":"2013","unstructured":"Linbin Yu, Yu Lei, Raghu N Kacker, and D Richard Kuhn. 2013. Acts: A combinatorial test generation tool. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation. 370\u2013375."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642994"},{"key":"e_1_3_2_1_50_1","volume-title":"2022 8th Annual International Conference on Network and Information Systems for Computers (ICNISC). 469\u2013473","author":"Zhang Xuan","year":"2022","unstructured":"Xuan Zhang, Yingqian Hao, Peng Lin, and Peng Zhang. 2022. A Metamorphic Testing Approach Based on Normal Function Tables. In 2022 8th Annual International Conference on Network and Information Systems for Computers (ICNISC). 469\u2013473."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2876433"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2478001"}],"event":{"name":"MET '24: 9th ACM International Workshop on Metamorphic Testing","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Vienna Austria","acronym":"MET '24"},"container-title":["Proceedings of the 9th ACM International Workshop on Metamorphic Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679006.3685068","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3679006.3685068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:14Z","timestamp":1750294694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679006.3685068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":52,"alternative-id":["10.1145\/3679006.3685068","10.1145\/3679006"],"URL":"https:\/\/doi.org\/10.1145\/3679006.3685068","relation":{},"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"2024-09-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}