{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T20:42:30Z","timestamp":1779309750567,"version":"3.51.4"},"reference-count":42,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T00:00:00Z","timestamp":1672876800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61902236"],"award-info":[{"award-number":["61902236"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Multimedia Comput. Commun. Appl."],"published-print":{"date-parts":[[2023,1,31]]},"abstract":"<jats:p>Formal methods have been widely used to support software testing to guarantee correctness and reliability. For example, model checking technology attempts to ensure that the verification property of a specific formal model is satisfactory for discovering bugs or abnormal behavior from the perspective of temporal logic. However, because automatic approaches are lacking, a software developer\/tester must manually specify verification properties. A generative adversarial network (GAN) learns features from input training data and outputs new data with similar or coincident features. GANs have been successfully used in the image processing and text processing fields and achieved interesting and automatic results. Inspired by the power of GANs, in this article, we propose a GAN-based automatic property generation (GAPG) approach to generate verification properties supporting model checking. First, the verification properties in the form of computational tree logic (CTL) are encoded and used as input to the GAN. Second, we introduce regular expressions as grammar rules to check the correctness of the generated properties. These rules work to detect and filter meaningless properties that occur because the GAN learning process is uncontrollable and may generate unsuitable properties in real applications. Third, the learning network is further trained by using labeled information associated with the input properties. These are intended to guide the training process to generate additional new properties, particularly those that map to corresponding formal models. Finally, a series of comprehensive experiments demonstrate that the proposed GAPG method can obtain new verification properties from two aspects: (1) using only CTL formulas and (2) using CTL formulas combined with Kripke structures.<\/jats:p>","DOI":"10.1145\/3517154","type":"journal-article","created":{"date-parts":[[2022,2,18]],"date-time":"2022-02-18T19:42:08Z","timestamp":1645213328000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective"],"prefix":"10.1145","volume":"19","author":[{"given":"Honghao","family":"Gao","sequence":"first","affiliation":[{"name":"The School of Computer Engineering and Science, Shanghai University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baobin","family":"Dai","sequence":"additional","affiliation":[{"name":"The School of Computer Engineering and Science, Shanghai University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[{"name":"The School of Computer Engineering and Science, Shanghai University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoxian","family":"Yang","sequence":"additional","affiliation":[{"name":"The School of Computer and Information Engineering, Shanghai Polytechnic University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramon J. Duran","family":"Barroso","sequence":"additional","affiliation":[{"name":"Faculty of Telecommunication Engineering, University of Valladolid, Valladolid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hussain","family":"Walayat","sequence":"additional","affiliation":[{"name":"Faculty of Engineering and IT, University of Technology Sydney, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_3_2_2","first-page":"205","volume-title":"Proceedings of the 36th International Conference on Software Engineering","author":"Bird Christian","year":"2014","unstructured":"Christian Bird, Venkatesh-Prasad Ranganath, Thomas Zimmermann, Nachiappan Nagappan, and Andreas Zeller. 2014. Extrinsic influence factors in software reliability: A study of 200,000 windows machines. In Proceedings of the 36th International Conference on Software Engineering. 205\u2013214."},{"key":"e_1_3_3_3_2","volume-title":"Software and Systems Engineering Software Testing Part 1: Concepts and Definitions","author":"Reid S.","year":"2013","unstructured":"S. Reid. 2013. Software and Systems Engineering Software Testing Part 1: Concepts and Definitions. Technical Report. ISO\/IEC\/IEEE 29119-1."},{"key":"e_1_3_3_4_2","first-page":"296","volume-title":"Proceedings of the IEEE 2nd International Conference on Information and Computer Technologies (ICICT)","author":"Nanda Smruti Priyambada","year":"2019","unstructured":"Smruti Priyambada Nanda and Emanuel S. Grant. 2019. A survey of formal specification application to safety critical systems. In Proceedings of the IEEE 2nd International Conference on Information and Computer Technologies (ICICT). IEEE, 296\u2013302."},{"key":"e_1_3_3_5_2","volume-title":"Verification of Communication Protocols in Web Services: Model-checking Service Compositions","author":"Sakib Kazi","year":"2013","unstructured":"Kazi Sakib, Zahir Tari, and P\u00e9ter Bert\u00f3k. 2013. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. John Wiley & Sons."},{"issue":"4","key":"e_1_3_3_6_2","doi-asserted-by":"crossref","first-page":"1878","DOI":"10.1109\/TPS.2019.2904796","article-title":"Design of real-time control in poloidal field power supply based on finite-state machine","volume":"47","author":"He Shiying","year":"2019","unstructured":"Shiying He, Liansheng Huang, Ge Gao, Guanghong Wang, Zejing Wang, and Xiaojiao Chen. 2019. Design of real-time control in poloidal field power supply based on finite-state machine. IEEE Trans. Plasma Sci. 47, 4 (2019), 1878\u20131883.","journal-title":"IEEE Trans. Plasma Sci."},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2019.8793253"},{"key":"e_1_3_3_8_2","first-page":"1483","volume-title":"Proceedings of the IEEE 4th International Conference on Computer and Communications (ICCC)","author":"Akram Adeel","year":"2018","unstructured":"Adeel Akram, Nannan Wang, Xinbo Gao, and Jie Li. 2018. Integrating GAN with CNN for face sketch synthesis. In Proceedings of the IEEE 4th International Conference on Computer and Communications (ICCC). IEEE, 1483\u20131487."},{"key":"e_1_3_3_9_2","doi-asserted-by":"crossref","first-page":"8706","DOI":"10.1109\/TIP.2020.3018856","article-title":"RPD-GAN: Learning to draw realistic paintings with generative adversarial network","volume":"29","author":"Gao Xiang","year":"2020","unstructured":"Xiang Gao, Yingjie Tian, and Zhiquan Qi. 2020. RPD-GAN: Learning to draw realistic paintings with generative adversarial network. IEEE Trans. Image Process. 29 (2020), 8706\u20138720.","journal-title":"IEEE Trans. Image Process."},{"key":"e_1_3_3_10_2","doi-asserted-by":"crossref","first-page":"105217","DOI":"10.1109\/ACCESS.2020.2993928","article-title":"FGGAN: Feature-guiding generative adversarial networks for text generation","volume":"8","author":"Yang Yang","year":"2020","unstructured":"Yang Yang, Xiaodong Dan, Xuesong Qiu, and Zhipeng Gao. 2020. FGGAN: Feature-guiding generative adversarial networks for text generation. IEEE Access 8 (2020), 105217\u2013105225.","journal-title":"IEEE Access"},{"issue":"06","key":"e_1_3_3_11_2","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1142\/S0218194017500334","article-title":"Probabilistic model checking-based service selection method for business process modeling","volume":"27","author":"Gao Honghao","year":"2017","unstructured":"Honghao Gao, Danqi Chu, Yucong Duan, and Yuyu Yin. 2017. Probabilistic model checking-based service selection method for business process modeling. Int. J. Softw. Eng. Knowl. Eng. 27, 06 (2017), 897\u2013923.","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"issue":"1","key":"e_1_3_3_12_2","doi-asserted-by":"crossref","first-page":"1018","DOI":"10.1109\/JSYST.2018.2793665","article-title":"Model checking techniques applied to satellite operational mode management","volume":"13","author":"Nardone Vittoria","year":"2018","unstructured":"Vittoria Nardone, Antonella Santone, Massimo Tipaldi, Davide Liuzza, and Luigi Glielmo. 2018. Model checking techniques applied to satellite operational mode management. IEEE Syst. J. 13, 1 (2018), 1018\u20131029.","journal-title":"IEEE Syst. J."},{"issue":"10","key":"e_1_3_3_13_2","doi-asserted-by":"crossref","first-page":"1369","DOI":"10.1142\/S0218194018500390","article-title":"Automated quantitative verification for service-based system design: A visualization transform tool perspective","volume":"28","author":"Gao Honghao","year":"2018","unstructured":"Honghao Gao, Huaikou Miao, Lilan Liu, Jinyu Kai, and Kun Zhao. 2018. Automated quantitative verification for service-based system design: A visualization transform tool perspective. Int. J. Softw. Eng. Knowl. Eng. 28, 10 (2018), 1369\u20131397.","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"issue":"4","key":"e_1_3_3_14_2","doi-asserted-by":"crossref","first-page":"3989","DOI":"10.1109\/JSYST.2019.2923818","article-title":"Transformation-based approach to security verification for cyber-physical systems","volume":"13","author":"Mili Saoussen","year":"2019","unstructured":"Saoussen Mili, Nga Nguyen, and Rachid Chelouah. 2019. Transformation-based approach to security verification for cyber-physical systems. IEEE Syst. J. 13, 4 (2019), 3989\u20134000.","journal-title":"IEEE Syst. J."},{"issue":"1","key":"e_1_3_3_15_2","first-page":"139","article-title":"Predictive web service monitoring using probabilistic model checking","volume":"7","author":"Gao Honghao","year":"2013","unstructured":"Honghao Gao, Huaikou Miao, and Hongwei Zeng. 2013. Predictive web service monitoring using probabilistic model checking. Appl. Math. Inf. Sci. 7, 1L (2013), 139\u2013148.","journal-title":"Appl. Math. Inf. Sci."},{"issue":"2","key":"e_1_3_3_16_2","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1109\/TR.2018.2806349","article-title":"A novel approach to modeling and verifying real-time systems for high reliability","volume":"67","author":"Cui Jin","year":"2018","unstructured":"Jin Cui, Zhenhua Duan, Cong Tian, and Hongwei Du. 2018. A novel approach to modeling and verifying real-time systems for high reliability. IEEE Trans. Reliab. 67, 2 (2018), 481\u2013493.","journal-title":"IEEE Trans. Reliab."},{"issue":"8","key":"e_1_3_3_17_2","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/TSE.2017.2712621","article-title":"A formal specification and verification framework for timed security protocols","volume":"44","author":"Li Li","year":"2017","unstructured":"Li Li, Jun Sun, Yang Liu, Meng Sun, and Jin-Song Dong. 2017. A formal specification and verification framework for timed security protocols. IEEE Trans. Softw. Eng. 44, 8 (2017), 725\u2013746.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_3_3_18_2","doi-asserted-by":"crossref","first-page":"14947","DOI":"10.1109\/ACCESS.2019.2892649","article-title":"A specification-based semi-formal functional verification method by a stage transition graph model","volume":"7","author":"Lv Zhao","year":"2019","unstructured":"Zhao Lv, Shuming Chen, Tingrong Zhang, and Yaohua Wang. 2019. A specification-based semi-formal functional verification method by a stage transition graph model. IEEE Access 7 (2019), 14947\u201314958.","journal-title":"IEEE Access"},{"key":"e_1_3_3_19_2","doi-asserted-by":"crossref","first-page":"14455","DOI":"10.1109\/ACCESS.2017.2728860","article-title":"Computational conversion via translation rules for transforming C++ code into UPPAAL\u2019s automata","volume":"5","author":"Sultana Sidra","year":"2017","unstructured":"Sidra Sultana and Fahim Arif. 2017. Computational conversion via translation rules for transforming C++ code into UPPAAL\u2019s automata. IEEE Access 5 (2017), 14455\u201314467.","journal-title":"IEEE Access"},{"issue":"1","key":"e_1_3_3_20_2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s10898-020-00949-1","article-title":"Advances in verification of ReLU neural networks","volume":"81","author":"R\u00f6ssig Ansgar","year":"2021","unstructured":"Ansgar R\u00f6ssig and Milena Petkovic. 2021. Advances in verification of ReLU neural networks. J. Global Optim. 81, 1 (2021), 109\u2013152.","journal-title":"J. Global Optim."},{"key":"e_1_3_3_21_2","first-page":"666","volume-title":"Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Naseer Mahum","year":"2020","unstructured":"Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, and Muhammad Shafique. 2020. FANNet: Formal analysis of noise tolerance, training bias and input sensitivity in neural networks. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 666\u2013669."},{"key":"e_1_3_3_22_2","first-page":"852","volume-title":"Proceedings of the 9th International Conference on Information Technology in Medicine and Education (ITME)","author":"Yin Shanghui","year":"2018","unstructured":"Shanghui Yin, Renzhi Xing, Xiangqi Liu, Yinhui Yi, Kai Zheng, and Xin Huang. 2018. Model checking an artificial neural networks system in medical diagnosis. In Proceedings of the 9th International Conference on Information Technology in Medicine and Education (ITME). IEEE, 852\u2013856."},{"issue":"1","key":"e_1_3_3_23_2","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1109\/TSG.2020.3009401","article-title":"Verification of neural network behaviour: Formal guarantees for power system applications","volume":"12","author":"Venzke Andreas","year":"2020","unstructured":"Andreas Venzke and Spyros Chatzivasileiadis. 2020. Verification of neural network behaviour: Formal guarantees for power system applications. IEEE Trans. Smart Grid 12, 1 (2020), 383\u2013397.","journal-title":"IEEE Trans. Smart Grid"},{"issue":"3","key":"e_1_3_3_24_2","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1109\/LCSYS.2020.3005328","article-title":"Formal synthesis of Lyapunov neural networks","volume":"5","author":"Abate Alessandro","year":"2020","unstructured":"Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, and Andrea Peruffo. 2020. Formal synthesis of Lyapunov neural networks. IEEE Contr. Syst. Lett. 5, 3 (2020), 773\u2013778.","journal-title":"IEEE Contr. Syst. Lett."},{"key":"e_1_3_3_25_2","first-page":"100","volume-title":"Proceedings of the 10th International Conference on Availability, Reliability and Security","author":"Phan Quoc-Sang","year":"2015","unstructured":"Quoc-Sang Phan and Pasquale Malacaria. 2015. All-solution satisfiability modulo theories: Applications, algorithms and benchmarks. In Proceedings of the 10th International Conference on Availability, Reliability and Security. IEEE, 100\u2013109."},{"key":"e_1_3_3_26_2","article-title":"Generative adversarial nets","volume":"27","author":"Goodfellow Ian","year":"2014","unstructured":"Ian Goodfellow, Jean Pouget-Abadie, Mehdi Mirza, Bing Xu, David Warde-Farley, Sherjil Ozair, Aaron Courville, and Yoshua Bengio. 2014. Generative adversarial nets. Adv. Neural Inf. Process. Syst. 27 (2014).","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"e_1_3_3_27_2","article-title":"Conditional generative adversarial nets","author":"Mirza Mehdi","year":"2014","unstructured":"Mehdi Mirza and Simon Osindero. 2014. Conditional generative adversarial nets. arXiv preprint arXiv:1411.1784. (2014).","journal-title":"arXiv preprint arXiv:1411.1784"},{"key":"e_1_3_3_28_2","first-page":"5375","volume-title":"Proceedings of the IEEE International Conference on Big Data (Big Data)","author":"Li Tao","year":"2018","unstructured":"Tao Li, Xudong Liu, and Shihan Su. 2018. Semi-supervised text regression with conditional generative adversarial networks. In Proceedings of the IEEE International Conference on Big Data (Big Data). IEEE, 5375\u20135377."},{"key":"e_1_3_3_29_2","first-page":"132","volume-title":"Proceedings of the 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"Zhang Mengshi","year":"2018","unstructured":"Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, and Sarfraz Khurshid. 2018. DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. In Proceedings of the 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 132\u2013142."},{"issue":"9","key":"e_1_3_3_30_2","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1109\/TSE.2016.2532875","article-title":"A survey on metamorphic testing","volume":"42","author":"Segura Sergio","year":"2016","unstructured":"Sergio Segura, Gordon Fraser, Ana B. Sanchez, and Antonio Ruiz-Cort\u00e9s. 2016. A survey on metamorphic testing. IEEE Trans. Softw. Eng. 42, 9 (2016), 805\u2013824.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_3_3_31_2","article-title":"How (not) to train your generative model: Scheduled sampling, likelihood, adversary?","author":"Husz\u00e1r Ferenc","year":"2015","unstructured":"Ferenc Husz\u00e1r. 2015. How (not) to train your generative model: Scheduled sampling, likelihood, adversary?arXiv preprint arXiv:1511.05101 (2015).","journal-title":"arXiv preprint arXiv:1511.05101"},{"key":"e_1_3_3_32_2","first-page":"2852","volume-title":"Proceedings of the 31st AAAI Conference on Artificial Intelligence","author":"Yu Lantao","year":"2017","unstructured":"Lantao Yu, Weinan Zhang, Jun Wang, and Yong Yu. 2017. SeqGAN: Sequence generative adversarial nets with policy gradient. In Proceedings of the 31st AAAI Conference on Artificial Intelligence. 2852\u20132858."},{"issue":"4","key":"e_1_3_3_33_2","doi-asserted-by":"crossref","first-page":"788","DOI":"10.1109\/TASLP.2019.2896437","article-title":"Improving conditional sequence generative adversarial networks by stepwise evaluation","volume":"27","author":"Tuan Yi-Lin","year":"2019","unstructured":"Yi-Lin Tuan and Hung-Yi Lee. 2019. Improving conditional sequence generative adversarial networks by stepwise evaluation. IEEE\/ACM Trans. Audio, Speech Lang. Process. 27, 4 (2019), 788\u2013798.","journal-title":"IEEE\/ACM Trans. Audio, Speech Lang. Process."},{"issue":"1","key":"e_1_3_3_34_2","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1093\/logcom\/exv038","article-title":"Four-valued modal logic: Kripke semantics and duality","volume":"27","author":"Rivieccio Umberto","year":"2017","unstructured":"Umberto Rivieccio, Achim Jung, and Ramon Jansana. 2017. Four-valued modal logic: Kripke semantics and duality. J. Logic Computat. 27, 1 (2017), 155\u2013199.","journal-title":"J. Logic Computat."},{"key":"e_1_3_3_35_2","volume-title":"Principles of Model Checking","author":"Baier Christel","year":"2008","unstructured":"Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. The MIT Press."},{"issue":"2","key":"e_1_3_3_36_2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.23919\/JCIN.2019.8917870","article-title":"Survey on reinforcement learning applications in communication networks","volume":"4","author":"Qian Yichen","year":"2019","unstructured":"Yichen Qian, Jun Wu, Rui Wang, Fusheng Zhu, and Wei Zhang. 2019. Survey on reinforcement learning applications in communication networks. J. Commun. Inf. Netw. 4, 2 (2019), 30\u201339.","journal-title":"J. Commun. Inf. Netw."},{"issue":"1","key":"e_1_3_3_37_2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/TCIAIG.2011.2180723","article-title":"Monte Carlo beam search","volume":"4","author":"Cazenave Tristan","year":"2012","unstructured":"Tristan Cazenave. 2012. Monte Carlo beam search. IEEE Trans. Computat. Intell. AI Games 4, 1 (2012), 68\u201372.","journal-title":"IEEE Trans. Computat. Intell. AI Games"},{"issue":"7587","key":"e_1_3_3_38_2","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1038\/nature16961","article-title":"Mastering the game of Go with deep neural networks and tree search","volume":"529","author":"Silver David","year":"2016","unstructured":"David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George Van Den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, et\u00a0al. 2016. Mastering the game of Go with deep neural networks and tree search. Nature 529, 7587 (2016), 484\u2013489.","journal-title":"Nature"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2018.8600769"},{"issue":"11","key":"e_1_3_3_40_2","first-page":"1885","article-title":"Economic LSTM approach for recurrent neural networks","volume":"66","author":"Khalil Kasem","year":"2019","unstructured":"Kasem Khalil, Omar Eldash, Ashok Kumar, and Magdy Bayoumi. 2019. Economic LSTM approach for recurrent neural networks. IEEE Trans. Circ. Syst. II: Express Briefs 66, 11 (2019), 1885\u20131889.","journal-title":"IEEE Trans. Circ. Syst. II: Express Briefs"},{"key":"e_1_3_3_41_2","volume-title":"Deep Learning","author":"Goodfellow Ian","year":"2016","unstructured":"Ian Goodfellow, Yoshua Bengio, and Aaron Courville. 2016. Deep Learning. The MIT Press."},{"key":"e_1_3_3_42_2","doi-asserted-by":"crossref","first-page":"3987","DOI":"10.1109\/ACCESS.2019.2961767","article-title":"FB-CNN: Feature fusion-based bilinear CNN for classification of fruit fly image","volume":"8","author":"Peng Yingqiong","year":"2019","unstructured":"Yingqiong Peng, Muxin Liao, Yuxia Song, Zhichao Liu, Huojiao He, Hong Deng, and Yinglong Wang. 2019. FB-CNN: Feature fusion-based bilinear CNN for classification of fruit fly image. IEEE Access 8 (2019), 3987\u20133995.","journal-title":"IEEE Access"},{"key":"e_1_3_3_43_2","doi-asserted-by":"crossref","first-page":"124087","DOI":"10.1109\/ACCESS.2019.2927169","article-title":"A dilated CNN model for image classification","volume":"7","author":"Lei Xinyu","year":"2019","unstructured":"Xinyu Lei, Hongguang Pan, and Xiangdong Huang. 2019. A dilated CNN model for image classification. IEEE Access 7 (2019), 124087\u2013124095.","journal-title":"IEEE Access"}],"container-title":["ACM Transactions on Multimedia Computing, Communications, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517154","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3517154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:02Z","timestamp":1750183742000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,5]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,31]]}},"alternative-id":["10.1145\/3517154"],"URL":"https:\/\/doi.org\/10.1145\/3517154","relation":{},"ISSN":["1551-6857","1551-6865"],"issn-type":[{"value":"1551-6857","type":"print"},{"value":"1551-6865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,5]]},"assertion":[{"value":"2021-10-12","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-02-06","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-01-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}