{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:17:18Z","timestamp":1742995038636,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031212123"},{"type":"electronic","value":"9783031212130"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-21213-0_1","type":"book-chapter","created":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T06:08:19Z","timestamp":1670652499000},"page":"3-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["HashC: Making DNNs\u2019 Coverage Testing Finer and\u00a0Faster"],"prefix":"10.1007","author":[{"given":"Weidi","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyong","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuteng","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,12,11]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-642-38980-1_8","volume-title":"Applied Cryptography and Network Security","author":"J-P Aumasson","year":"2013","unstructured":"Aumasson, J.-P., Neves, S., Wilcox-O\u2019Hearn, Z., Winnerlein, C.: BLAKE2: simpler, smaller, fast as MD5. In: Jacobson, M., Locasto, M., Mohassel, P., Safavi-Naini, R. (eds.) ACNS 2013. LNCS, vol. 7954, pp. 119\u2013135. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38980-1_8"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1080\/01611194.2012.687431","volume":"37","author":"Q Dang","year":"2013","unstructured":"Dang, Q.: Changes in federal information processing standard (FIPS) 180\u20134, secure hash standard. Cryptologia 37(1), 69\u201373 (2013). https:\/\/doi.org\/10.1080\/01611194.2012.687431","journal-title":"Cryptologia"},{"key":"1_CR3","unstructured":"Davies, A.: Google\u2019s self-driving car caused its first crash (2016). https:\/\/www.wired.com\/2016\/02\/googles-self-driving-car-may-caused-first-crash\/. Accessed 7 July 2021"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Gerasimou, S., Eniser, H.F., Sen, A., Cakan, A.: Importance-driven deep learning system testing. In: Proceedings of 42nd International Conference on Software Engineering, ICSE 2020, 27 June - 19 July, 2020, Seoul, South Korea, pp. 702\u2013713. IEEE (2020). https:\/\/doi.org\/10.1145\/3377811.3380391","DOI":"10.1145\/3377811.3380391"},{"key":"1_CR5","series-title":"Adaptive Computation and Machine Learning","volume-title":"Deep Learning","author":"IJ Goodfellow","year":"2016","unstructured":"Goodfellow, I.J., Bengio, Y., Courville, A.C.: Deep Learning. Adaptive Computation and Machine Learning, MIT Press, Cambridge (2016)"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"He, K., Zhang, X., Ren, S., Sun, J.: Deep residual learning for image recognition. In: Proceedings of 29th IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, 27\u201330 June 2016, Las Vegas, NV, USA, pp. 770\u2013778. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/CVPR.2016.90","DOI":"10.1109\/CVPR.2016.90"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Kim, J., Feldt, R., Yoo, S.: Guiding deep learning system testing using surprise adequacy. In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, 25\u201331 May 2019, pp. 1039\u20131049. IEEE\/ACM (2019). https:\/\/doi.org\/10.1109\/ICSE.2019.00108","DOI":"10.1109\/ICSE.2019.00108"},{"key":"1_CR8","unstructured":"Krizhevsky, A., Hinton, G., et al.: Learning multiple layers of features from tiny images. Technical report (2009)"},{"issue":"11","key":"1_CR9","doi-asserted-by":"publisher","first-page":"2278","DOI":"10.1109\/5.726791","volume":"86","author":"Y LeCun","year":"1998","unstructured":"LeCun, Y., Bottou, L., Bengio, Y., Haffner, P.: Gradient-based learning applied to document recognition. Proc. IEEE 86(11), 2278\u20132324 (1998)","journal-title":"Proc. IEEE"},{"key":"1_CR10","unstructured":"LeCun, Y., Cortes, C., Burges, C.J.: The MNIST database of handwritten digits. https:\/\/yann.lecun.com\/exdb\/mnist\/ (1998). Accessed 4 Jan 2020"},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Li, Z., Chen, Y., Gong, G., Li, D., Lv, K., Chen, P.: A survey of the application of combinatorial testing. In: Proceedings of 19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2019, 22\u201326 July 2019, Sofia, Bulgaria, pp. 512\u2013513. IEEE (2019). https:\/\/doi.org\/10.1109\/QRS-C.2019.00100","DOI":"10.1109\/QRS-C.2019.00100"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Ma, L., et al.: DeepCT: tomographic combinatorial testing for deep learning systems. In: Proceedings of 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, 24\u201327 February 2019, Hangzhou, China, pp. 614\u2013618. IEEE (2019). https:\/\/doi.org\/10.1109\/SANER.2019.8668044","DOI":"10.1109\/SANER.2019.8668044"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Ma, L., et al.: DeepGauge: multi-granularity testing criteria for deep learning systems. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, 3\u20137 September 2018, Montpellier, France, pp. 120\u2013131. ACM (2018). https:\/\/doi.org\/10.1145\/3238147.3238202","DOI":"10.1145\/3238147.3238202"},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/2010324.1964935","volume":"30","author":"R Mantiuk","year":"2011","unstructured":"Mantiuk, R., Kim, K.J., Rempel, A.G., Heidrich, W.: HDR-VDP-2: a calibrated visual metric for visibility and quality predictions in all luminance conditions. ACM Trans. Graph. 30(4), 40 (2011). https:\/\/doi.org\/10.1145\/2010324.1964935","journal-title":"ACM Trans. Graph."},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Menezes, A., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1996). https:\/\/doi.org\/10.1201\/9781439821916","DOI":"10.1201\/9781439821916"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-662-43933-3_13","volume-title":"Fast Software Encryption","author":"P Morawiecki","year":"2014","unstructured":"Morawiecki, P., Pieprzyk, J., Srebrny, M.: Rotational cryptanalysis of round-reduced KECCAK. In: Moriai, S. (ed.) FSE 2013. LNCS, vol. 8424, pp. 241\u2013262. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43933-3_13"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11:1\u201311:29 (2011). https:\/\/doi.org\/10.1145\/1883612.1883618","DOI":"10.1145\/1883612.1883618"},{"key":"1_CR18","unstructured":"NTSB: Preliminary report: Highway hwy18mh010 (2018). https:\/\/www.ntsb.gov\/investigations\/AccidentReports\/Reports\/HWY18MH010-prelim.pdf. Accessed 7 July 2021"},{"issue":"11","key":"1_CR19","doi-asserted-by":"publisher","DOI":"10.23915\/distill.00007","volume":"2","author":"C Olah","year":"2017","unstructured":"Olah, C., Mordvintsev, A., Schubert, L.: Feature visualization. Distillation 2(11), e7 (2017). https:\/\/doi.org\/10.23915\/distill.00007","journal-title":"Distillation"},{"key":"1_CR20","unstructured":"Paszke, A., et al.: Pytorch: an imperative style, high-performance deep learning library. CoRR abs\/1912.01703 (2019)"},{"key":"1_CR21","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, SOSP 2017, 28\u201331 October 2017, Shanghai, China, pp. 1\u201318. ACM (2017). https:\/\/doi.org\/10.1145\/3132747.3132785","DOI":"10.1145\/3132747.3132785"},{"key":"1_CR22","doi-asserted-by":"publisher","unstructured":"Rivest, R.L.: The MD5 message-digest algorithm. RFC. 1321, 1\u201321 (1992). https:\/\/doi.org\/10.17487\/RFC1321","DOI":"10.17487\/RFC1321"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Salay, R., Czarnecki, K.: Using machine learning safely in automotive software: an assessment and adaption of software process requirements in ISO 26262. CoRR abs\/1808.01614 (2018)","DOI":"10.4271\/2018-01-1075"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Sekhon, J., Fleming, C.: Towards improved testing for deep learning. In: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, 29\u201331 May 2019, Montreal, QC, Canada, pp. 85\u201388. IEEE (2019). https:\/\/doi.org\/10.1109\/ICSE-NIER.2019.00030","DOI":"10.1109\/ICSE-NIER.2019.00030"},{"key":"1_CR25","unstructured":"Simonyan, K., Zisserman, A.: Very deep convolutional networks for large-scale image recognition. In: Proceedings of 3rd International Conference on Learning Representations, ICLR 2015, 7\u20139 May 2015, San Diego, CA, USA. International Conference on Learning Representations (2015)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Sun, W., Lu, Y., Sun, M.: Are coverage criteria meaningful metrics for DNNs? In: Proceedings of 31st International Joint Conference on Neural Networks, IJCNN 2021, 18\u201322 July 2020, Virtual Event. IEEE (2021)","DOI":"10.1109\/IJCNN52387.2021.9533987"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Sun, Y., Huang, X., Kroening, D.: Testing deep neural networks. CoRR abs\/1803.04792 (2018)","DOI":"10.1145\/3238147.3238172"},{"key":"1_CR28","doi-asserted-by":"publisher","unstructured":"Szegedy, C., et al.: Going deeper with convolutions. In: Proceedings of 28th IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015, 7\u201312 June 2015, Boston, MA, USA, pp. 1\u20139. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/CVPR.2015.7298594","DOI":"10.1109\/CVPR.2015.7298594"},{"key":"1_CR29","doi-asserted-by":"publisher","unstructured":"van Tilborg, H.C.A., Jajodia, S.: ISO 19790 2006 Security Requirements for Cryptographic Modules. In: van Tilborg, H.C.A., Jajodia, S. (eds.) Encyclopedia of Cryptography and Security, p. 648. Springer, Boston (2011). https:\/\/doi.org\/10.1007\/978-1-4419-5906-5_1038","DOI":"10.1007\/978-1-4419-5906-5_1038"},{"issue":"4","key":"1_CR30","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1109\/TIP.2003.819861","volume":"13","author":"Z Wang","year":"2004","unstructured":"Wang, Z., Bovik, A.C., Sheikh, H.R., Simoncelli, E.P.: Image quality assessment: from error visibility to structural similarity. IEEE Trans. Image Process. 13(4), 600\u2013612 (2004). https:\/\/doi.org\/10.1109\/TIP.2003.819861","journal-title":"IEEE Trans. Image Process."},{"key":"1_CR31","unstructured":"Wiki: Death of elaine Herzberg (2018). https:\/\/en.wikipedia.org\/wiki\/Death_of_Elaine_Herzberg. Accessed 7 July 2021"},{"issue":"8","key":"1_CR32","doi-asserted-by":"publisher","first-page":"2378","DOI":"10.1109\/TIP.2011.2109730","volume":"20","author":"L Zhang","year":"2011","unstructured":"Zhang, L., Zhang, L., Mou, X., Zhang, D.: FSIM: a feature similarity index for image quality assessment. IEEE Trans. Image Process. 20(8), 2378\u20132386 (2011). https:\/\/doi.org\/10.1109\/TIP.2011.2109730","journal-title":"IEEE Trans. Image Process."},{"key":"1_CR33","doi-asserted-by":"publisher","unstructured":"Zhang, R., Isola, P., Efros, A.A., Shechtman, E., Wang, O.: The unreasonable effectiveness of deep features as a perceptual metric. In: Proceedings of 31st IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2018, 18\u201322 June 2018, Salt Lake City, UT, USA, pp. 586\u2013595. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/CVPR.2018.00068","DOI":"10.1109\/CVPR.2018.00068"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21213-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,10]],"date-time":"2022-12-10T06:13:23Z","timestamp":1670652803000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21213-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031212123","9783031212130"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21213-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}