{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T19:42:18Z","timestamp":1774640538858,"version":"3.50.1"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1109\/qrs-c60940.2023.00099","type":"proceedings-article","created":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T19:51:41Z","timestamp":1708372301000},"page":"18-24","source":"Crossref","is-referenced-by-count":1,"title":["Requirements-Driven Logic Testing for Deep Neural Networks"],"prefix":"10.1109","author":[{"given":"Yuqi","family":"Hang","sequence":"first","affiliation":[{"name":"Nanjing University,Nanjing,Jiangsu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Liu","sequence":"additional","affiliation":[{"name":"Yangzhou University,Yangzhou,Jiangsu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lifa","family":"Hu","sequence":"additional","affiliation":[{"name":"Yangzhou University,Yangzhou,Jiangsu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinyi","family":"Gao","sequence":"additional","affiliation":[{"name":"GRG Metrology&Test,Guangzhou,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3065386"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.11231"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2009.5459207"},{"key":"ref4","first-page":"27","article-title":"Sequence to sequence learning with neural networks[J]","author":"Sutskever","year":"2014","journal-title":"Advances in neural information processing systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/taslp.2017.2756440"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.media.2019.02.010"},{"key":"ref7","author":"Rajpurkar","year":"2017","journal-title":"Chexnet: Radiologist-level pneumonia detection on chest x-rays with deep learning[J]"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21918"},{"key":"ref9","author":"Bojarski","year":"2016","journal-title":"End to end learning for self-driving cars[J]"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2962027"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.dsp.2017.10.011"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2761740"},{"key":"ref13","first-page":"807","article-title":"Rectified linear units improve restricted boltzmann machines[C]","volume-title":"Proceedings of the 27th international conference on machine learning (ICML-10)","author":"Nair","year":"2010"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1038\/323533a0"},{"key":"ref15","article-title":"Metamorphic testing: A new approach for generating next test cases, Technical Report HKUST-CS98-01","volume-title":"Department of Computer Science, The Hong Kong University of Science and Technology, Tech. Rep.","author":"Chen","year":"1998"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.46"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2019.00037"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2018.2875968"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"ref20","first-page":"4901","article-title":"Tensorfuzz: Debugging neural networks with coverage-guided fuzzing[C]","volume-title":"International Conference on Machine Learning","author":"Odena","year":"2019"},{"key":"ref21","first-page":"265","article-title":"TensorFlow: A System for Large-Scale Machine Learning TensorFlow: A system for large-scale machine learning [C]","volume-title":"Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u2018 16)","author":"Abadi","year":"2009"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264835"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397346"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330579"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2018.00021"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00126"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464825"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238187"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3392252"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213858"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213858"}],"event":{"name":"2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","location":"Chiang Mai, Thailand","start":{"date-parts":[[2023,10,22]]},"end":{"date-parts":[[2023,10,26]]}},"container-title":["2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/10429824\/10429825\/10429957.pdf?arnumber=10429957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T20:56:43Z","timestamp":1710363403000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/10429957\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":33,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/qrs-c60940.2023.00099","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]}}}