{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:31:39Z","timestamp":1763724699718,"version":"3.41.0"},"reference-count":58,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T00:00:00Z","timestamp":1726272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Guangdong Province Ordinary University Characteristic Innovation","award":["2023KTSCX193"],"award-info":[{"award-number":["2023KTSCX193"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Archit. Code Optim."],"published-print":{"date-parts":[[2024,9,30]]},"abstract":"<jats:p>\n            Verification of hardware design code is crucial for the quality assurance of hardware products. Being an indispensable part of verification, localizing bugs in the hardware design code is significant for hardware development but is often regarded as a notoriously difficult and time-consuming task. Thus, automated bug localization techniques that could assist manual debugging have attracted much attention in the hardware community. However, existing approaches are hampered by the challenge of achieving both demanding bug localization accuracy and facile automation in a single method. Simulation-based methods are fully automated but have limited localization accuracy, slice-based techniques can only give an approximate range of the presence of bugs, and spectrum-based techniques can also only yield a reference value for the likelihood that a statement is buggy. Furthermore, formula-based bug localization techniques suffer from the complexity of combinatorial explosion for automated application in industrial large-scale hardware designs. In this work, we propose Kummel, a\n            <jats:underline>K<\/jats:underline>\n            nowledge-a\n            <jats:underline>u<\/jats:underline>\n            g\n            <jats:underline>m<\/jats:underline>\n            ented\n            <jats:underline>m<\/jats:underline>\n            utation-bas\n            <jats:underline>e<\/jats:underline>\n            d bug loca\n            <jats:underline>l<\/jats:underline>\n            ization for hardware design code to address these limitations. Kummel achieves the unity of precise bug localization and full automation by utilizing the knowledge augmentation through mutation analysis. To evaluate the effectiveness of Kummel, we conduct large-scale experiments on 76 versions of 17 hardware projects by seven state-of-the-art bug localization techniques. The experimental results clearly show that Kummel is statistically more effective than baselines, e.g., our approach can improve the seven original methods by 64.48% on average under the RImp metric. It brings fresh insights of hardware bug localization to the community.\n          <\/jats:p>","DOI":"10.1145\/3660526","type":"journal-article","created":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T10:54:30Z","timestamp":1713783270000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Knowledge-Augmented Mutation-Based Bug Localization for Hardware Design Code"],"prefix":"10.1145","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6353-8890","authenticated-orcid":false,"given":"Jiang","family":"Wu","sequence":"first","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3243-1019","authenticated-orcid":false,"given":"Zhuo","family":"Zhang","sequence":"additional","affiliation":[{"name":"Xi'an University of Technology, Xi'an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8383-1939","authenticated-orcid":false,"given":"Deheng","family":"Yang","sequence":"additional","affiliation":[{"name":"Academy of Military Science of the People's Liberation Army, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7668-0522","authenticated-orcid":false,"given":"Jianjun","family":"Xu","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1329-7312","authenticated-orcid":false,"given":"Jiayu","family":"He","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4204-7424","authenticated-orcid":false,"given":"Xiaoguang","family":"Mao","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,14]]},"reference":[{"key":"e_1_3_1_2_2","first-page":"103","article-title":"Bonferroni and \u0160id\u00e1k corrections for multiple comparisons","volume":"3","author":"Abdi Herv\u00e9","year":"2007","unstructured":"Herv\u00e9 Abdi. 2007. Bonferroni and \u0160id\u00e1k corrections for multiple comparisons. Encyc. Measur. Stat. 3 (2007), 103\u2013107.","journal-title":"Encyc. Measur. Stat."},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507763"},{"key":"e_1_3_1_4_2","unstructured":"Desire Athow. 2014. Pentium FDIV: The processor bug that shook the world. Techradar."},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09845-4"},{"key":"e_1_3_1_6_2","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/HLDVT.2007.4392789","volume-title":"IEEE International High Level Design Validation and Test Workshop","author":"Chang Kai-hui","year":"2007","unstructured":"Kai-hui Chang, Ilya Wagner, Valeria Bertacco, and Igor L. Markov. 2007. Automatic error diagnosis and correction for RTL designs. In IEEE International High Level Design Validation and Test Workshop. IEEE, 65\u201372."},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Gregory W. Corder and Dale I. Foreman. 2011. Nonparametric statistics for non-statisticians. DOI:10.1002\/9781118165881","DOI":"10.1002\/9781118165881"},{"key":"e_1_3_1_8_2","first-page":"142","volume-title":"3rd International Conference on Software Testing, Verification, and Validation Workshops","author":"Estero-Botaro Antonia","year":"2010","unstructured":"Antonia Estero-Botaro, Francisco Palomo-Lozano, and Inmaculada Medina-Bulo. 2010. Quantitative evaluation of mutation operators for WS-BPEL compositions. In 3rd International Conference on Software Testing, Verification, and Validation Workshops. IEEE, 142\u2013150."},{"key":"e_1_3_1_9_2","article-title":"Decoder, 3 to 8 Decoder Block Diagram, Truth Table, and Logic Diagram","author":"Fahad Engr","year":"2020","unstructured":"Engr Fahad. 2020. Decoder, 3 to 8 Decoder Block Diagram, Truth Table, and Logic Diagram. Retrieved from: https:\/\/www.electroniclinic.com\/decoder-3-to-8-decoder-block-diagram-truth-table-and-logic-diagram","journal-title":"Retrieved from: https:\/\/www.electroniclinic.com\/decoder-3-to-8-decoder-block-diagram-truth-table-and-logic-diagram"},{"issue":"3","key":"e_1_3_1_10_2","first-page":"2814","article-title":"Efficient model-based diagnosis of sequential circuits","volume":"34","author":"Feldman Alexander","year":"2020","unstructured":"Alexander Feldman, Ingo Pill, Franza Wotawa, Ion Matei, and Johan De Kleer. 2020. Efficient model-based diagnosis of sequential circuits. Proc. AAAI Conf. Artif. Intell. 34, 3 (2020), 2814\u20132821.","journal-title":"Proc. AAAI Conf. Artif. Intell."},{"key":"e_1_3_1_11_2","article-title":"The 2020 Wilson Research Group Functional Verification Study","author":"Foster Harry","year":"2020","unstructured":"Harry Foster. 2020. The 2020 Wilson Research Group Functional Verification Study. Retrieved from https:\/\/blogs.sw.siemens.com\/verificationhorizons\/2020\/11\/10\/part-2-the-2020-wilson-research-group-functional-verification-study","journal-title":"R"},{"key":"e_1_3_1_12_2","article-title":"Python 3.6.8","author":"Foundation Python Software","year":"2018","unstructured":"Python Software Foundation. 2018. Python 3.6.8. Retrieved from https:\/\/www.python.org\/downloads\/release\/python-368","journal-title":"R"},{"key":"e_1_3_1_13_2","article-title":"GitHub","year":"2008","unstructured":"GitHub. 2008. GitHub. Retrieved from https:\/\/github.com\/","journal-title":"R"},{"key":"e_1_3_1_14_2","article-title":"Alibaba Cloud","author":"Group Alibaba","year":"2009","unstructured":"Alibaba Group. 2009. Alibaba Cloud. Retrieved from https:\/\/www.alibabacloud.com\/","journal-title":"R"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/2189750.2150990"},{"key":"e_1_3_1_16_2","first-page":"21","volume-title":"IEEE\/ACM International Workshop on Genetic Improvement (GI\u201921)","author":"Huang Yu","year":"2021","unstructured":"Yu Huang, Hammad Ahmad, Stephanie Forrest, and Westley Weimer. 2021. Applying automated program repair to dataflow programming languages. In IEEE\/ACM International Workshop on Genetic Improvement (GI\u201921). IEEE, 21\u201322."},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581397"},{"key":"e_1_3_1_19_2","first-page":"437","volume-title":"International Symposium on Software Testing and Analysis","author":"Just Ren\u00e9","year":"2014","unstructured":"Ren\u00e9 Just, Darioush Jalali, and Michael D. Ernst. 2014. Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In International Symposium on Software Testing and Analysis. 437\u2013440."},{"key":"e_1_3_1_20_2","article-title":"Aries: A semi-formal technique for fine-grained bug localization in hardware designs","author":"Kumar Binod","year":"2022","unstructured":"Binod Kumar, V. S. Vineesh, Puneet Nemade, and Masahiro Fujita. 2022. Aries: A semi-formal technique for fine-grained bug localization in hardware designs. IEEE Trans. Comput.-aid. Des. Integ. Circ. Syst. (2022).","journal-title":"IEEE Trans. Comput.-aid. Des. Integ. Circ. Syst."},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.07.027"},{"key":"e_1_3_1_22_2","first-page":"1","volume-title":"IEEE 36th Annual Computer Software and Applications Conference","author":"Lei Yan","year":"2012","unstructured":"Yan Lei, Xiaoguang Mao, Ziying Dai, and Chengsong Wang. 2012. Effective statistical fault localization using program slices. In IEEE 36th Annual Computer Software and Applications Conference. IEEE, 1\u201310."},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00067"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110661"},{"issue":"5","key":"e_1_3_1_25_2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/780822.781148","article-title":"Bug isolation via remote program sampling","volume":"38","author":"Liblit Ben","year":"2003","unstructured":"Ben Liblit, Alex Aiken, Alice X. Zheng, and Michael I. Jordan. 2003. Bug isolation via remote program sampling. ACM SIGPLAN Not. 38, 5 (2003), 141\u2013154.","journal-title":"ACM SIGPLAN Not."},{"key":"e_1_3_1_26_2","first-page":"55","volume-title":"ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","author":"Lin Derrick","year":"2017","unstructured":"Derrick Lin, James Koppel, Angela Chen, and Armando Solar-Lezama. 2017. QuixBugs: A multi-lingual program repair benchmark set based on the Quixey Challenge. In ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. 55\u201356."},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.09.006"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397351"},{"key":"e_1_3_1_29_2","first-page":"946","volume-title":"Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u201922)","author":"Ma Jiacheng","unstructured":"Jiacheng Ma, Gefei Zuo, Kevin Loughlin, Haoyang Zhang, Andrew Quinn, and Baris Kasikci. [n. d.]. Debugging in the brave new world of reconfigurable hardware. In Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u201922). 946\u2013962."},{"key":"e_1_3_1_30_2","first-page":"468","volume-title":"IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER\u201919)","author":"Madeiral Fernanda","year":"2019","unstructured":"Fernanda Madeiral, Simon Urli, Marcelo Maia, and Martin Monperrus. 2019. Bears: An extensible Java bug benchmark for automatic program repair studies. In IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER\u201919). IEEE, 468\u2013478."},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.08.031"},{"issue":"12","key":"e_1_3_1_32_2","first-page":"178","article-title":"A literature survey on program slicing","volume":"5","author":"Mishra S.","year":"2015","unstructured":"S. Mishra, S. Panda, and S. Baboo. 2015. A literature survey on program slicing. Int. J. Manag., IT Eng. 5, 12 (2015), 178\u2013192.","journal-title":"Int. J. Manag., IT Eng."},{"key":"e_1_3_1_33_2","first-page":"153","volume-title":"IEEE 7th International Conference on Software Testing, Verification and Validation","author":"Moon Seokhyeon","year":"2014","unstructured":"Seokhyeon Moon, Yunho Kim, Moonzoo Kim, and Shin Yoo. 2014. Ask the mutants: Mutating faulty programs for fault localization. In IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE, 153\u2013162."},{"key":"e_1_3_1_34_2","first-page":"1","volume-title":"IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201916)","author":"Nalla Pradeep Kumar","year":"2016","unstructured":"Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, and Alexander Ivrii. 2016. The art of semi-formal bug hunting. In IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201916). IEEE, 1\u20138."},{"key":"e_1_3_1_35_2","first-page":"772","volume-title":"35th International Conference on Software Engineering (ICSE\u201913)","author":"Nguyen Hoang Duong Thien","year":"2013","unstructured":"Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. SemFix: Program repair via semantic analysis. In 35th International Conference on Software Engineering (ICSE\u201913). IEEE, 772\u2013781."},{"key":"e_1_3_1_36_2","article-title":"OpenCores","year":"1999","unstructured":"Oliscience. 1999. OpenCores. Retrieved from https:\/\/opencores.org","journal-title":"R"},{"key":"e_1_3_1_37_2","first-page":"936","volume-title":"IEEE\/ACM 37th IEEE International Conference on Software Engineering","volume":"1","author":"Papadakis Mike","year":"2015","unstructured":"Mike Papadakis, Yue Jia, Mark Harman, and Yves Le Traon. 2015. Trivial compiler equivalence: A large scale empirical study of a simple, fast and effective equivalent mutant detection technique. In IEEE\/ACM 37th IEEE International Conference on Software Engineering, Vol. 1. IEEE, 936\u2013946."},{"key":"e_1_3_1_38_2","first-page":"275","volume-title":"Advances in Computers","author":"Papadakis Mike","year":"2019","unstructured":"Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, and Mark Harman. 2019. Mutation testing advances: An analysis and survey. In Advances in Computers. Vol. 112. Elsevier, 275\u2013378."},{"key":"e_1_3_1_39_2","first-page":"691","volume-title":"IEEE 5th International Conference on Software Testing, Verification and Validation","author":"Papadakis Mike","year":"2012","unstructured":"Mike Papadakis and Yves Le Traon. 2012. Using mutants to locate \u201cunknown\u201d faults. In IEEE 5th International Conference on Software Testing, Verification and Validation. IEEE, 691\u2013700."},{"key":"e_1_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1509"},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00087"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3196398.3196473"},{"key":"e_1_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-013-9195-8"},{"key":"e_1_3_1_45_2","article-title":"Siemens EDA Software: Modelsim","author":"simulator Verilog","year":"2022","unstructured":"Verilog simulator. 2022. Siemens EDA Software: Modelsim. Retrieved from https:\/\/eda.sw.siemens.com\/en-US\/ic\/modelsim","journal-title":"R"},{"key":"e_1_3_1_46_2","first-page":"39","volume-title":"International Working Conference on Mining Software Repositories (MSR\u201908)","author":"Sudakrishnan Sangeetha","year":"2008","unstructured":"Sangeetha Sudakrishnan, Janaki Madhavan, E. James Whitehead Jr, and Jose Renau. 2008. Understanding bug fix patterns in Verilog. In International Working Conference on Mining Software Repositories (MSR\u201908). 39\u201342."},{"key":"e_1_3_1_47_2","article-title":"Certitude: Functional Qualification System","year":"2018","unstructured":"Synopsys. 2018. Certitude: Functional Qualification System. Retrieved from https:\/\/www.synopsys.com\/verification\/simulation\/certitude.html","journal-title":"R"},{"key":"e_1_3_1_48_2","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/978-3-319-16214-0_42","volume-title":"11th International Symposium on Applied Reconfigurable Computing (ARC\u201915)","author":"Takamaeda-Yamazaki Shinya","year":"2015","unstructured":"Shinya Takamaeda-Yamazaki. 2015. Pyverilog: A Python-based hardware design processing toolkit for Verilog HDL. In 11th International Symposium on Applied Reconfigurable Computing (ARC\u201915). Springer, 451\u2013460."},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.2966448"},{"key":"e_1_3_1_50_2","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/978-981-32-9767-8_35","volume-title":"International Symposium on VLSI Design and Test","author":"Vineesh V. S.","year":"2019","unstructured":"V. S. Vineesh, Binod Kumar, and Jay Adhaduk. 2019. Identification of effective guidance hints for better design debugging by formal methods. In International Symposium on VLSI Design and Test. Springer, 413\u2013427."},{"issue":"5","key":"e_1_3_1_51_2","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1109\/TCAD.2020.3011039","article-title":"Enhanced design debugging with assistance from guidance-based model checking","volume":"40","author":"Vineesh V. S.","year":"2020","unstructured":"V. S. Vineesh, Binod Kumar, Rushikesh Shinde, Neelam Sharma, Masahiro Fujita, and Virendra Singh. 2020. Enhanced design debugging with assistance from guidance-based model checking. IEEE Trans. Comput.-aid. Des. Integ. Circ. Syst. 40, 5 (2020), 985\u2013998.","journal-title":"IEEE Trans. Comput.-aid. Des. Integ. Circ. Syst."},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2022.3162039"},{"key":"e_1_3_1_53_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070507"},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"e_1_3_1_55_2","first-page":"1","volume-title":"60th ACM\/IEEE Design Automation Conference (DAC\u201923)","author":"Wu Jiang","year":"2023","unstructured":"Jiang Wu, Yan Lei, Zhuo Zhang, Xiankai Meng, Deheng Yang, Pan Li, Jiayu He, and Xiaoguang Mao. 2023. Mantra: Mutation testing of hardware design code based on real bugs. In 60th ACM\/IEEE Design Automation Conference (DAC\u201923). IEEE, 1\u20136."},{"key":"e_1_3_1_56_2","first-page":"537","volume-title":"IEEE 40th International Conference on Computer Design (ICCD\u201922)","author":"Wu Jiang","year":"2022","unstructured":"Jiang Wu, Zhuo Zhang, Deheng Yang, Xiankai Meng, Jiayu He, Xiaoguang Mao, and Yan Lei. 2022. Fault localization for hardware design code with time-aware program spectrum. In IEEE 40th International Conference on Computer Design (ICCD\u201922). IEEE, 537\u2013544."},{"key":"e_1_3_1_57_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106312"},{"key":"e_1_3_1_58_2","doi-asserted-by":"crossref","unstructured":"Zhuo Zhang Yan Lei Ting Su Meng Yan Xiaoguang Mao and Yue Yu. 2022. Influential global and local contexts guided trace representation for fault localization[J]. ACM Transactions on Software Engineering and Methodology 32 3 (2023) 1\u201327.","DOI":"10.1145\/3576043"},{"key":"e_1_3_1_59_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.06.003"}],"container-title":["ACM Transactions on Architecture and Code Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3660526","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3660526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:59Z","timestamp":1750291439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3660526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,14]]},"references-count":58,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9,30]]}},"alternative-id":["10.1145\/3660526"],"URL":"https:\/\/doi.org\/10.1145\/3660526","relation":{},"ISSN":["1544-3566","1544-3973"],"issn-type":[{"type":"print","value":"1544-3566"},{"type":"electronic","value":"1544-3973"}],"subject":[],"published":{"date-parts":[[2024,9,14]]},"assertion":[{"value":"2023-11-28","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-04-17","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-09-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}