{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:50:13Z","timestamp":1742979013781,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031460012"},{"type":"electronic","value":"9783031460029"}],"license":[{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-46002-9_5","type":"book-chapter","created":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:02:36Z","timestamp":1702483356000},"page":"77-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes"],"prefix":"10.1007","author":[{"given":"Hamzah","family":"Al-Qadasi","sequence":"first","affiliation":[]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,12,14]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Al-Qadasi, H., Falcone, Y., Bensalem, S.: Difficulty and severity-oriented metrics for test prioritization in deep learning systems. In: 2023 IEEE International Conference on Artificial Intelligence Testing (AITest). IEEE (2023)","DOI":"10.1109\/AITest58265.2023.00015"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Al-Qadasi, H., Wu, C., Falcone, Y., Bensalem, S.: DeepAbstraction: 2-level prioritization for unlabeled test inputs in deep neural networks. In: 2022 IEEE International Conference On Artificial Intelligence Testing (AITest), pp. 64\u201371. IEEE (2022)","DOI":"10.1109\/AITest55621.2022.00018"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Byun, T., Sharma, V., Vijayakumar, A., Rayadurgam, S., Cofer, D.D.: Input prioritization for testing neural networks. CoRR arXiv:1901.03768(2019)","DOI":"10.1109\/AITest.2019.000-6"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Chen, Y., Cheng, C.H., Yan, J., Yan, R.: Monitoring object detection abnormalities via data-label and post-algorithm abstractions. In: 2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 6688\u20136693. IEEE (2021)","DOI":"10.1109\/IROS51168.2021.9636713"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Dang, X., Li, Y., Papadakis, M., Klein, J., Bissyand\u00e9, T.F., Traon, Y.L.: Graphprior: mutation-based test input prioritization for graph neural networks. ACM Trans. Softw. Engi. Methodol. (2023)","DOI":"10.1145\/3607191"},{"issue":"6","key":"5_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/MSP.2012.2211477","volume":"29","author":"L Deng","year":"2012","unstructured":"Deng, L.: The mnist database of handwritten digit images for machine learning research [best of the web]. IEEE Signal Process. Mag. 29(6), 141\u2013142 (2012)","journal-title":"IEEE Signal Process. Mag."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Feng, Y., Shi, Q., Gao, X., Wan, J., Fang, C., Chen, Z.: Deepgini: prioritizing massive tests to enhance the robustness of deep neural networks. In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 177\u2013188 (2020)","DOI":"10.1145\/3395363.3397357"},{"key":"5_CR8","doi-asserted-by":"crossref","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)","DOI":"10.1109\/CVPR.2016.90"},{"key":"5_CR9","unstructured":"Henzinger, T.A., Lukina, A., Schilling, C.: Outside the box: abstraction-based monitoring of neural networks. In: ECAI, Frontiers in Artificial Intelligence and Applications, vol. 325, pp. 2433\u20132440. IOS Press (2020)"},{"key":"5_CR10","unstructured":"Krizhevsky, A., Hinton, G., et al.: Learning multiple layers of features from tiny images. University of Toronto (2009)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Kueffner, K., Lukina, A., Schilling, C., Henzinger, T.: Into the unknown: active monitoring of neural networks (extended version). Int. J. Softw. Tools Technol. Transfer (2023)","DOI":"10.1007\/s10009-023-00711-4"},{"key":"5_CR12","first-page":"20874","volume":"34","author":"Y Li","year":"2021","unstructured":"Li, Y., Li, M., Lai, Q., Liu, Y., Xu, Q.: Testrank: bringing order into unlabeled test instances for deep learning tasks. Adv. Neural. Inf. Process. Syst. 34, 20874\u201320886 (2021)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"5_CR13","unstructured":"Netzer, Y., Wang, T., Coates, A., Bissacco, A., Wu, B., Ng, A.Y.: Reading digits in natural images with unsupervised feature learning. In: NIPS (2011)"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00116251","volume":"1","author":"JR Quinlan","year":"1986","unstructured":"Quinlan, J.R.: Induction of decision trees. Mach. Learn. 1(1), 81\u2013106 (1986)","journal-title":"Mach. Learn."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Shmelova, T., Yatsko, M., Sierostanov, I., Kolotusha, V.: Artificial intelligence methods and applications in aviation. In: Handbook of Research on AI Methods and Applications in Computer Engineering, pp. 108\u2013140. IGI Global (2023)","DOI":"10.4018\/978-1-6684-6937-8.ch006"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Szegedy, C., et al.: Going deeper with convolutions. CoRR arXiv:1409.4842 (2014)","DOI":"10.1109\/CVPR.2015.7298594"},{"key":"5_CR17","unstructured":"Tan, M., Le, Q.V.: Efficientnet: rethinking model scaling for convolutional neural networks. In: International Conference on Machine Learning (ICML) (2019)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Wang, Z., You, H., Chen, J., Zhang, Y., Dong, X., Zhang, W.: Prioritizing test inputs for deep neural networks via mutation analysis. In: 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), pp. 397\u2013409. IEEE (2021)","DOI":"10.1109\/ICSE43902.2021.00046"},{"key":"5_CR19","unstructured":"Wu, C., Falcone, Y., Bensalem, S.: Customizable reference runtime monitoring of neural networks using resolution boxes. CoRR arXiv:2104.14435 (2021)"},{"key":"5_CR20","unstructured":"Xiao, H., Rasul, K., Vollgraf, R.: Fashion-mnist: a novel image dataset for benchmarking machine learning algorithms. CoRR arXiv:1708.07747 (2017)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Yang, K., Tang, X., Qiu, S., Jin, S., Wei, Z., Wang, H.: Towards robust decision-making for autonomous driving on highway. IEEE Trans. Veh. Technol. (2023)","DOI":"10.1109\/TVT.2023.3268500"},{"key":"5_CR22","unstructured":"Ziegler, C.: A google self-driving car caused a crash for the first time (2016). https:\/\/www.theverge.com\/2016\/2\/29\/11134344\/google-self-driving-car-crash-report. Accessed 27 July 2023"}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-46002-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:03:38Z","timestamp":1702483418000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-46002-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,14]]},"ISBN":["9783031460012","9783031460029"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-46002-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,12,14]]},"assertion":[{"value":"14 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}