{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:58:17Z","timestamp":1740099497280,"version":"3.37.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030305079"},{"type":"electronic","value":"9783030305086"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30508-6_55","type":"book-chapter","created":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T19:02:47Z","timestamp":1567969367000},"page":"697-710","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["DCT: Differential Combination Testing of Deep Learning Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5212-4599","authenticated-orcid":false,"given":"Chunyan","family":"Wang","sequence":"first","affiliation":[]},{"given":"Weimin","family":"Ge","sequence":"additional","affiliation":[]},{"given":"Xiaohong","family":"Li","sequence":"additional","affiliation":[]},{"given":"Zhiyong","family":"Feng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"55_CR1","unstructured":"The opencv reference manual release 2.4.9.0 (2014). \n                      docs.opencv.org\/opencv2refman.pdf"},{"key":"55_CR2","unstructured":"Affine transformation (2015). \n                      https:\/\/www.mathworks.com\/discovery\/affine-transformation.html"},{"key":"55_CR3","unstructured":"Open source computer vision library (2015). \n                      https:\/\/github.com\/itseez\/opencv"},{"key":"55_CR4","unstructured":"Abadi, M., et al.: TensorFlow: a system for large-scale machine learning. In: 12th \n                      \n                        \n                      \n                      $$\\{$$\n                    USENIX\n                      \n                        \n                      \n                      $$\\}$$\n                     Symposium on Operating Systems Design and Implementation (\n                      \n                        \n                      \n                      $$\\{$$\n                    OSDI\n                      \n                        \n                      \n                      $$\\}$$\n                     16), pp. 265\u2013283 (2016). \n                      https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/abadi"},{"key":"55_CR5","doi-asserted-by":"publisher","unstructured":"Argyros, G., Stais, I., Jana, S., Keromytis, A.D., Kiayias, A.: SFADiff: automated evasion attacks and fingerprinting using black-box differential automata learning. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 1690\u20131701. ACM (2016). \n                      https:\/\/doi.org\/10.1145\/2976749.2978383","DOI":"10.1145\/2976749.2978383"},{"key":"55_CR6","unstructured":"Bojarski, M., et al.: End to end learning for self-driving cars. arXiv preprint \n                      arXiv:1604.07316\n                      \n                     (2016)"},{"key":"55_CR7","doi-asserted-by":"publisher","unstructured":"Chen, Y., Su, T., Sun, C., Su, Z., Zhao, J.: Coverage-directed differential testing of JVM implementations. In: ACM SIGPLAN Notices, pp. 85\u201399. ACM (2016). \n                      https:\/\/doi.org\/10.1145\/2908080.2908095","DOI":"10.1145\/2908080.2908095"},{"key":"55_CR8","unstructured":"Chollet, F.: Keras. Github repository (2015). \n                      https:\/\/github.com\/fchollet\/keras\n                      \n                    . Accessed 25 2017"},{"key":"55_CR9","doi-asserted-by":"publisher","unstructured":"Deng, J., Dong, W., Socher, R., Li, L.J., Li, K., Fei-Fei, L.: ImageNet: a large-scale hierarchical image database. In: 2009 IEEE Conference on Computer Vision and Pattern Recognition, pp. 248\u2013255. IEEE (2009). \n                      https:\/\/doi.org\/10.1109\/CVPR.2009.5206848","DOI":"10.1109\/CVPR.2009.5206848"},{"key":"55_CR10","doi-asserted-by":"publisher","unstructured":"Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.: Ai2: safety and robustness certification of neural networks with abstract interpretation. In: 2018 IEEE Symposium on Security and Privacy (SP), pp. 3\u201318. IEEE (2018). \n                      https:\/\/doi.org\/10.1109\/SP.2018.00058","DOI":"10.1109\/SP.2018.00058"},{"key":"55_CR11","unstructured":"Goceri, E., Goceri, N.: Deep learning in medical image analysis: recent advances and future trends. In: International Conferences Computer Graphics, Visualization, Computer Vision and Image Processing (2017)"},{"key":"55_CR12","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. arXiv preprint \n                      arXiv:1412.6572\n                      \n                     (2014)"},{"key":"55_CR13","doi-asserted-by":"publisher","unstructured":"He, K., Zhang, X., Ren, S., Sun, J.: Deep residual learning for image recognition. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 770\u2013778 (2016). \n                      https:\/\/doi.org\/10.1109\/CVPR.2016.90","DOI":"10.1109\/CVPR.2016.90"},{"key":"55_CR14","doi-asserted-by":"publisher","unstructured":"Jung, J., Sheth, A., Greenstein, B., Wetherall, D., Maganis, G., Kohno, T.: Privacy Oracle: a system for finding application leaks with black box differential testing. In: Proceedings of the 15th ACM Conference on Computer and Communications Security, pp. 279\u2013288. ACM (2008). \n                      https:\/\/doi.org\/10.1145\/1455770.1455806","DOI":"10.1145\/1455770.1455806"},{"key":"55_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification","author":"G Katz","year":"2017","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"key":"55_CR16","unstructured":"LeCun, Y., Cortes, C., Burges, C.: Mnist handwritten digit database. AT&T labs (2010). \n                      http:\/\/yann.lecun.com\/exdb\/mnist2"},{"key":"55_CR17","unstructured":"LeCun, Y.: The mnist database of handwritten digits (1998). \n                      http:\/\/yann.lecun.com\/exdb\/mnist\/"},{"key":"55_CR18","doi-asserted-by":"publisher","unstructured":"Ma, L., et al.: DeepMutation: mutation testing of deep learning systems. In: 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), pp. 100\u2013111. IEEE (2018). \n                      https:\/\/doi.org\/10.1109\/ISSRE.2018.00021","DOI":"10.1109\/ISSRE.2018.00021"},{"key":"55_CR19","doi-asserted-by":"publisher","unstructured":"Pei, K., Cao, Y., Yang, J., Jana, S.: DeepXplore: automated whitebox testing of deep learning systems. In: Proceedings of the 26th Symposium on Operating Systems Principles, pp. 1\u201318. ACM (2017). \n                      https:\/\/doi.org\/10.1145\/3132747.3132785","DOI":"10.1145\/3132747.3132785"},{"key":"55_CR20","unstructured":"Pei, K., Cao, Y., Yang, J., Jana, S.: Towards practical verification of machine learning: the case of computer vision systems. arXiv preprint \n                      arXiv:1712.01785\n                      \n                     (2017)"},{"key":"55_CR21","unstructured":"Radford, A., Jozefowicz, R., Sutskever, I.: Learning to generate reviews and discovering sentiment. arXiv preprint \n                      arXiv:1704.01444\n                      \n                     (2017)"},{"key":"55_CR22","unstructured":"Rajpurkar, P., et al.: ChexNet: radiologist-level pneumonia detection on chest x-rays with deep learning. arXiv preprint \n                      arXiv:1711.05225\n                      \n                     (2017)"},{"key":"55_CR23","unstructured":"Simonyan, K., Zisserman, A.: Very deep convolutional networks for large-scale image recognition. arXiv preprint \n                      arXiv:1409.1556\n                      \n                     (2014)"},{"key":"55_CR24","doi-asserted-by":"publisher","unstructured":"Sivakorn, S., Argyros, G., Pei, K., Keromytis, A.D., Jana, S.: HVLearn: automated black-box analysis of hostname verification in SSL\/TLS implementations. In: 2017 IEEE Symposium on Security and Privacy (SP), pp. 521\u2013538. IEEE (2017). \n                      https:\/\/doi.org\/10.1109\/SP.2017.46","DOI":"10.1109\/SP.2017.46"},{"key":"55_CR25","doi-asserted-by":"crossref","unstructured":"Sun, Y., Huang, X., Kroening, D.: Testing deep neural networks. arXiv preprint \n                      arXiv:1803.04792\n                      \n                     (2018)","DOI":"10.1145\/3238147.3238172"},{"key":"55_CR26","doi-asserted-by":"publisher","unstructured":"Tian, Y., Pei, K., Jana, S., Ray, B.: DeepTest: automated testing of deep-neural-network-driven autonomous cars. In: Proceedings of the 40th International Conference on Software Engineering, pp. 303\u2013314. ACM (2018). \n                      https:\/\/doi.org\/10.1145\/3180155.3180220","DOI":"10.1145\/3180155.3180220"},{"key":"55_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-319-89960-2_22","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Wicker","year":"2018","unstructured":"Wicker, M., Huang, X., Kwiatkowska, M.: Feature-guided black-box safety testing of deep neural networks. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10805, pp. 408\u2013426. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-89960-2_22"},{"key":"55_CR28","unstructured":"Xiong, W., et al.: Achieving human parity in conversational speech recognition. arXiv preprint \n                      arXiv:1610.05256\n                      \n                     (2016)"},{"key":"55_CR29","doi-asserted-by":"publisher","unstructured":"Yang, X., Chen, Y., Eide, E., Regehr, J.: Finding and understanding bugs in c compilers. In: ACM SIGPLAN Notices, pp. 283\u2013294. ACM (2011). \n                      https:\/\/doi.org\/10.1145\/1993498.1993532","DOI":"10.1145\/1993498.1993532"}],"container-title":["Lecture Notes in Computer Science","Artificial Neural Networks and Machine Learning \u2013 ICANN 2019: Image Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30508-6_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T19:22:00Z","timestamp":1567970520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30508-6_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030305079","9783030305086"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30508-6_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICANN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Neural Networks","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icann2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/e-nns.org\/icann2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}