{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T18:02:51Z","timestamp":1785952971431,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T00:00:00Z","timestamp":1562716800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","award":["NRF2018NCR-NCR005-0001 NRF2018NCR-NSOE003-0001"],"award-info":[{"award-number":["NRF2018NCR-NCR005-0001 NRF2018NCR-NSOE003-0001"]}],"id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,10]]},"DOI":"10.1145\/3293882.3330579","type":"proceedings-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T12:13:31Z","timestamp":1562847211000},"page":"146-157","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":361,"title":["DeepHunter: a coverage-guided fuzz testing framework for deep neural networks"],"prefix":"10.1145","author":[{"given":"Xiaofei","family":"Xie","sequence":"first","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lei","family":"Ma","sequence":"additional","affiliation":[{"name":"Kyushu University, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felix","family":"Juefei-Xu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Minhui","family":"Xue","sequence":"additional","affiliation":[{"name":"University of Adelaide, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongxu","family":"Chen","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore \/ Zhejiang Sci-Tech University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[{"name":"Kyushu University, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bo","family":"Li","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianxiong","family":"Yin","sequence":"additional","affiliation":[{"name":"NVIDIA AI Tech Centre, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simon","family":"See","sequence":"additional","affiliation":[{"name":"NVIDIA AI Tech Centre, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"libFuzzer. (2018). https:\/\/llvm.org\/docs\/LibFuzzer.html","year":"2019","unstructured":"2018. libFuzzer. (2018). https:\/\/llvm.org\/docs\/LibFuzzer.html 2019 . DeepHunter . (2019). https:\/\/sites.google.com\/view\/deephunter 2018. libFuzzer. (2018). https:\/\/llvm.org\/docs\/LibFuzzer.html 2019. DeepHunter. (2019). https:\/\/sites.google.com\/view\/deephunter"},{"key":"e_1_3_2_1_2_1","unstructured":"Craig S. Smith. 2018. Alexa and Siri Can Hear This Hidden Command. You Can\u2019t. (2018).  Craig S. Smith. 2018. Alexa and Siri Can Hear This Hidden Command. You Can\u2019t. (2018)."},{"key":"e_1_3_2_1_3_1","unstructured":"https:\/\/www.nytimes.com\/2018\/05\/10\/technology\/alexa-sirihidden-command-audio-attacks.html  https:\/\/www.nytimes.com\/2018\/05\/10\/technology\/alexa-sirihidden-command-audio-attacks.html"},{"key":"e_1_3_2_1_4_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Abadi Martin","year":"2016","unstructured":"Martin Abadi , Paul Barham , Jianmin Chen , Zhifeng Chen , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Geoffrey Irving , Michael Isard , Manjunath Kudlur , Josh Levenberg , Rajat Monga , Sherry Moore , Derek G. Murray , Benoit Steiner , Paul Tucker , Vijay Vasudevan , Pete Warden , Martin Wicke , Yuan Yu , and Xiaoqiang Zheng . 2016 . TensorFlow: A system for large-scale machine learning . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . 265\u2013283. Martin Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: A system for large-scale machine learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). 265\u2013283."},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/developer.amazon.com\/zh\/alexa","author":"Alexa Amazon","year":"2018","unstructured":"Amazon. 2018. Amazon Alexa . ( 2018 ). https:\/\/developer.amazon.com\/zh\/alexa Amazon. 2018. Amazon Alexa. (2018). https:\/\/developer.amazon.com\/zh\/alexa"},{"key":"e_1_3_2_1_6_1","volume-title":"Introduction to Software Testing","author":"Ammann Paul","unstructured":"Paul Ammann and Jeff Offutt . 2016. Introduction to Software Testing ( 2 nd ed.). Cambridge University Press , New York, NY, USA . Paul Ammann and Jeff Offutt. 2016. Introduction to Software Testing (2nd ed.). Cambridge University Press, New York, NY, USA.","edition":"2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40994-3_25"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_1_9_1","volume-title":"IEEE Symposium on. 39\u201357","author":"Carlini Nicholas","year":"2017","unstructured":"Nicholas Carlini and David Wagner . 2017 . Towards evaluating the robustness of neural networks. In Security and Privacy (SP) , IEEE Symposium on. 39\u201357 . Nicholas Carlini and David Wagner. 2017. Towards evaluating the robustness of neural networks. In Security and Privacy (SP), IEEE Symposium on. 39\u201357."},{"key":"e_1_3_2_1_11_1","unstructured":"Fran\u00e7ois Chollet and others. 2015. Keras. https:\/\/github.com\/fchollet\/keras. (2015).  Fran\u00e7ois Chollet and others. 2015. Keras. https:\/\/github.com\/fchollet\/keras. (2015)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Dan Ciregan Ueli Meier and J\u00fcrgen Schmidhuber. 2012. Multi-column deep neural networks for image classification. In CVPR. 3642\u20133649.   Dan Ciregan Ueli Meier and J\u00fcrgen Schmidhuber. 2012. Multi-column deep neural networks for image classification. In CVPR. 3642\u20133649.","DOI":"10.1109\/CVPR.2012.6248110"},{"key":"e_1_3_2_1_13_1","volume-title":"BinaryNet: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1. arXiv preprint arXiv:1602.02830","author":"Courbariaux Matthieu","year":"2016","unstructured":"Matthieu Courbariaux and Yoshua Bengio . 2016. BinaryNet: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1. arXiv preprint arXiv:1602.02830 ( 2016 ). Matthieu Courbariaux and Yoshua Bengio. 2016. BinaryNet: Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1. arXiv preprint arXiv:1602.02830 (2016)."},{"key":"e_1_3_2_1_14_1","volume-title":"Training deep neural networks with low precision multiplications. arXiv preprint arXiv:1412.7024","author":"Courbariaux Matthieu","year":"2014","unstructured":"Matthieu Courbariaux , Yoshua Bengio , and Jean-Pierre David . 2014. Training deep neural networks with low precision multiplications. arXiv preprint arXiv:1412.7024 ( 2014 ). Matthieu Courbariaux, Yoshua Bengio, and Jean-Pierre David. 2014. Training deep neural networks with low precision multiplications. arXiv preprint arXiv:1412.7024 (2014)."},{"key":"e_1_3_2_1_15_1","unstructured":"Matthieu Courbariaux Yoshua Bengio and Jean-Pierre David. 2015. BinaryConnect: Training Deep Neural Networks with Binary Weights During Propagations. In NIPS. 3105\u20133113.   Matthieu Courbariaux Yoshua Bengio and Jean-Pierre David. 2015. BinaryConnect: Training Deep Neural Networks with Binary Weights During Propagations. In NIPS. 3105\u20133113."},{"key":"e_1_3_2_1_16_1","volume-title":"The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.","author":"Du Xiaoning","unstructured":"Xiaoning Du , Xiaofei Xie , Yi Li , Lei Ma , Yang Liu , and Jianjun Zhao . 2019. Deep-Stellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems . In The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao. 2019. Deep-Stellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems. In The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering."},{"key":"e_1_3_2_1_17_1","volume-title":"CollAFL: Path Sensitive Fuzzing. In 2018 IEEE Symposium on Security and Privacy (SP). IEEE, 679\u2013696","author":"Gan Shuitao","year":"2018","unstructured":"Shuitao Gan , Chao Zhang , Xiaojun Qin , Xuwen Tu , Kang Li , Zhongyu Pei , and Zuoning Chen . 2018 . CollAFL: Path Sensitive Fuzzing. In 2018 IEEE Symposium on Security and Privacy (SP). IEEE, 679\u2013696 . Shuitao Gan, Chao Zhang, Xiaojun Qin, Xuwen Tu, Kang Li, Zhongyu Pei, and Zuoning Chen. 2018. CollAFL: Path Sensitive Fuzzing. In 2018 IEEE Symposium on Security and Privacy (SP). IEEE, 679\u2013696."},{"key":"e_1_3_2_1_18_1","volume-title":"Deep-Safe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. CoRR abs\/1710.00486","author":"Gopinath Divya","year":"2017","unstructured":"Divya Gopinath , Guy Katz , Corina S. Pasareanu , and Clark Barrett . 2017. Deep-Safe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. CoRR abs\/1710.00486 ( 2017 ). arXiv: 1710.00486 http:\/\/arxiv.org\/abs\/ 1710.00486 Divya Gopinath, Guy Katz, Corina S. Pasareanu, and Clark Barrett. 2017. Deep-Safe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. CoRR abs\/1710.00486 (2017). arXiv: 1710.00486 http:\/\/arxiv.org\/abs\/ 1710.00486"},{"key":"e_1_3_2_1_19_1","unstructured":"Suyog Gupta Ankur Agrawal Kailash Gopalakrishnan and Pritish Narayanan. 2015. Deep learning with limited numerical precision. In ICLR. 1737\u20131746.   Suyog Gupta Ankur Agrawal Kailash Gopalakrishnan and Pritish Narayanan. 2015. Deep learning with limited numerical precision. In ICLR. 1737\u20131746."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2012.2205597"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/3122009.3242044"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Benoit Jacob Skirmantas Kligys Bo Chen Menglong Zhu Matthew Tang Andrew Howard Hartwig Adam and Dmitry Kalenichenko. 2018. Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference. In CVPR.  Benoit Jacob Skirmantas Kligys Bo Chen Menglong Zhu Matthew Tang Andrew Howard Hartwig Adam and Dmitry Kalenichenko. 2018. Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference. In CVPR.","DOI":"10.1109\/CVPR.2018.00286"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"F. Juefei-Xu Vishnu Boddeti and M. Savvides. 2017. Local Binary Convolutional Neural Networks. In CVPR. IEEE 19\u201328.  F. Juefei-Xu Vishnu Boddeti and M. Savvides. 2017. Local Binary Convolutional Neural Networks. In CVPR. IEEE 19\u201328.","DOI":"10.1109\/CVPR.2017.456"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"F. Juefei-Xu V. N. Boddeti and M. Savvides. 2018. Perturbative Neural Networks. In CVPR. IEEE 3310\u20133318.  F. Juefei-Xu V. N. Boddeti and M. Savvides. 2018. Perturbative Neural Networks. In CVPR. IEEE 3310\u20133318.","DOI":"10.1109\/CVPR.2018.00349"},{"key":"e_1_3_2_1_25_1","volume-title":"Kochenderfer","author":"Katz Guy","year":"2017","unstructured":"Guy Katz , Clark W. Barrett , David L. Dill , Kyle Julian , and Mykel J . Kochenderfer . 2017 . Reluplex : An Efficient SMT Solver for Verifying Deep Neural Networks. CoRR abs\/1702.01135 (2017). arXiv: 1702.01135 http:\/\/arxiv.org\/abs\/1702.01135 Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer. 2017. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. CoRR abs\/1702.01135 (2017). arXiv: 1702.01135 http:\/\/arxiv.org\/abs\/1702.01135"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00108"},{"key":"e_1_3_2_1_27_1","unstructured":"Nair Krizhevsky Hinton Vinod Christopher Geoffrey Mike Papadakis and Anthony Ventresque. 2014. The cifar-10 dataset. http:\/\/www.cs.toronto.edu\/kriz\/ cifar.html. (2014).  Nair Krizhevsky Hinton Vinod Christopher Geoffrey Mike Papadakis and Anthony Ventresque. 2014. The cifar-10 dataset. http:\/\/www.cs.toronto.edu\/kriz\/ cifar.html. (2014)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.726791"},{"key":"e_1_3_2_1_29_1","unstructured":"Yann LeCun and Corrina Cortes. 1998. The MNIST database of handwritten digits. (1998).  Yann LeCun and Corrina Cortes. 1998. The MNIST database of handwritten digits. (1998)."},{"key":"e_1_3_2_1_30_1","volume-title":"DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems. In 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 614\u2013618","author":"Ma L.","unstructured":"L. Ma , F. Juefei-Xu , M. Xue , B. Li , L. Li , Y. Liu , and J. Zhao . 2019 . DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems. In 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 614\u2013618 . L. Ma, F. Juefei-Xu, M. Xue, B. Li, L. Li, Y. Liu, and J. Zhao. 2019. DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems. In 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 614\u2013618."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238202"},{"key":"e_1_3_2_1_32_1","volume-title":"DeepMutation: Mutation Testing of Deep Learning Systems. The 29th IEEE International Symposium on Software Reliability Engineering (ISSRE)","author":"Ma Lei","year":"2018","unstructured":"Lei Ma , Fuyuan Zhang , Jiyuan Sun , Minhui Xue , Bo Li , Felix Juefei-Xu , Chao Xie , Li Li , Yang Liu , Jianjun Zhao , and others. 2018 . DeepMutation: Mutation Testing of Deep Learning Systems. The 29th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2018). Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, and others. 2018. DeepMutation: Mutation Testing of Deep Learning Systems. The 29th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2018)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236082"},{"key":"e_1_3_2_1_34_1","volume-title":"Human-level control through deep reinforcement learning. Nature 518, 7540","author":"Mnih Volodymyr","year":"2015","unstructured":"Volodymyr Mnih , Koray Kavukcuoglu , David Silver , Andrei A Rusu , Joel Veness , Marc G Bellemare , Alex Graves , Martin Riedmiller , Andreas K Fidjeland , Georg Ostrovski , and others. 2015. Human-level control through deep reinforcement learning. Nature 518, 7540 ( 2015 ), 529. Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Andrei A Rusu, Joel Veness, Marc G Bellemare, Alex Graves, Martin Riedmiller, Andreas K Fidjeland, Georg Ostrovski, and others. 2015. Human-level control through deep reinforcement learning. Nature 518, 7540 (2015), 529."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the Thirty-sixth International Conference on Machine Learning.","author":"Odena Augustus","year":"2019","unstructured":"Augustus Odena and Ian Goodfellow . 2019 . TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing . In Proceedings of the Thirty-sixth International Conference on Machine Learning. Augustus Odena and Ian Goodfellow. 2019. TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing. In Proceedings of the Thirty-sixth International Conference on Machine Learning."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_1_37_1","volume-title":"Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems. CoRR abs\/1712.01785","author":"Pei Kexin","year":"2017","unstructured":"Kexin Pei , Yinzhi Cao , Junfeng Yang , and Suman Jana . 2017. Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems. CoRR abs\/1712.01785 ( 2017 ). arXiv: 1712.01785 http:\/\/arxiv.org\/abs\/1712.01785 Kexin Pei, Yinzhi Cao, Junfeng Yang, and Suman Jana. 2017. Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems. CoRR abs\/1712.01785 (2017). arXiv: 1712.01785 http:\/\/arxiv.org\/abs\/1712.01785"},{"key":"e_1_3_2_1_38_1","volume-title":"Software Engineering: A Practitioner\u2019s Approach (7 ed.)","author":"Pressman Roger","year":"2010","unstructured":"Roger Pressman . 2010 . Software Engineering: A Practitioner\u2019s Approach (7 ed.) . McGraw-Hill, Inc. , New York, NY, USA . Roger Pressman. 2010. Software Engineering: A Practitioner\u2019s Approach (7 ed.). McGraw-Hill, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_24"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1764810.1764814"},{"key":"e_1_3_2_1_41_1","unstructured":"1764814  1764814"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-015-0816-y"},{"key":"e_1_3_2_1_43_1","volume-title":"Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, and others.","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, and others. 2016 . Mastering the game of Go with deep neural networks and tree search. Nature 529, 7587 (2016), 484. David Silver, Aja Huang, Chris J Maddison, Arthur Guez, Laurent Sifre, George Van Den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, and others. 2016. Mastering the game of Go with deep neural networks and tree search. Nature 529, 7587 (2016), 484."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238172"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"e_1_3_2_1_46_1","volume-title":"2018 IEEE Symposium on Security and Privacy (SP).","author":"Drachsler-Cohen Petar Dana","year":"2018","unstructured":"Dana Drachsler-Cohen Petar Tsankov Swarat Chaudhuri Martin Vechev Timon Gehr, Matthew Mirman . 2018 . AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation . In 2018 IEEE Symposium on Security and Privacy (SP). Dana Drachsler-Cohen Petar Tsankov Swarat Chaudhuri Martin Vechev Timon Gehr, Matthew Mirman. 2018. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. In 2018 IEEE Symposium on Security and Privacy (SP)."},{"key":"e_1_3_2_1_47_1","unstructured":"Uber Accident. 2018. After Fatal Uber Crash a Self-Driving Start-Up Moves Forward. (2018).  Uber Accident. 2018. After Fatal Uber Crash a Self-Driving Start-Up Moves Forward. (2018)."},{"key":"e_1_3_2_1_48_1","unstructured":"https:\/\/www.nytimes.com\/2018\/05\/07\/technology\/uber-crashautonomous-driveai.html  https:\/\/www.nytimes.com\/2018\/05\/07\/technology\/uber-crashautonomous-driveai.html"},{"key":"e_1_3_2_1_49_1","volume-title":"Feature-Guided Black-Box Safety Testing of Deep Neural Networks. CoRR abs\/1710.07859","author":"Wicker Matthew","year":"2017","unstructured":"Matthew Wicker , Xiaowei Huang , and Marta Kwiatkowska . 2017. Feature-Guided Black-Box Safety Testing of Deep Neural Networks. CoRR abs\/1710.07859 ( 2017 ). Matthew Wicker, Xiaowei Huang, and Marta Kwiatkowska. 2017. Feature-Guided Black-Box Safety Testing of Deep Neural Networks. CoRR abs\/1710.07859 (2017)."},{"key":"e_1_3_2_1_50_1","unstructured":"arXiv: 1710.07859 http:\/\/arxiv.org\/abs\/1710.07859  arXiv: 1710.07859 http:\/\/arxiv.org\/abs\/1710.07859"},{"key":"e_1_3_2_1_51_1","volume-title":"Training and inference with integers in deep neural networks. arXiv preprint arXiv:1802.04680","author":"Wu Shuang","year":"2018","unstructured":"Shuang Wu , Guoqi Li , Feng Chen , and Luping Shi . 2018. Training and inference with integers in deep neural networks. arXiv preprint arXiv:1802.04680 ( 2018 ). Shuang Wu, Guoqi Li, Feng Chen, and Luping Shi. 2018. Training and inference with integers in deep neural networks. arXiv preprint arXiv:1802.04680 (2018)."},{"key":"e_1_3_2_1_52_1","unstructured":"C. Xiao B. Li J.-Y. Zhu W. He M. Liu and D. Song. 2018. Generating Adversarial Examples with Adversarial Networks. ArXiv e-prints (Jan. 2018). arXiv: cs.CR\/1801.02610 ISSTA \u201919 July 15\u201319 2019 Beijing China X. Xie L. Ma F. Xu M. Xue H. Chen Y. Liu J. Zhao B. Li J. Yin and S. See   C. Xiao B. Li J.-Y. Zhu W. He M. Liu and D. Song. 2018. Generating Adversarial Examples with Adversarial Networks. ArXiv e-prints (Jan. 2018). arXiv: cs.CR\/1801.02610 ISSTA \u201919 July 15\u201319 2019 Beijing China X. Xie L. Ma F. Xu M. Xue H. Chen Y. Liu J. Zhao B. Li J. Yin and S. See"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/800"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238187"},{"key":"e_1_3_2_1_55_1","volume-title":"Trained ternary quantization. ICLR","author":"Zhu Chenzhuo","year":"2017","unstructured":"Chenzhuo Zhu , Song Han , Huizi Mao , and William J Dally . 2017. Trained ternary quantization. ICLR ( 2017 ). Chenzhuo Zhu, Song Han, Huizi Mao, and William J Dally. 2017. Trained ternary quantization. ICLR (2017)."}],"event":{"name":"ISSTA '19: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Beijing China","acronym":"ISSTA '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3330579","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293882.3330579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:51Z","timestamp":1750207431000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3330579"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,10]]},"references-count":54,"alternative-id":["10.1145\/3293882.3330579","10.1145\/3293882"],"URL":"https:\/\/doi.org\/10.1145\/3293882.3330579","relation":{},"subject":[],"published":{"date-parts":[[2019,7,10]]},"assertion":[{"value":"2019-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}