{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,12]],"date-time":"2026-10-12T19:19:40Z","timestamp":1791832780692,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ERC Advanced Grant 2017 Program","award":["787703"],"award-info":[{"award-number":["787703"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598109","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"954-966","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["DeepAtash: Focused Test Generation for Deep Learning Systems"],"prefix":"10.1145","author":[{"given":"Tahereh","family":"Zohdinasab","sequence":"first","affiliation":[{"name":"USI Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vincenzo","family":"Riccio","sequence":"additional","affiliation":[{"name":"USI Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[{"name":"USI Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/378456.378511"},{"key":"e_1_3_2_1_3_1","unstructured":"BeamNG GmbH. 2018. BeamNG.research. https:\/\/www.beamng.gmbh\/research \t\t\t\t  BeamNG GmbH. 2018. BeamNG.research. https:\/\/www.beamng.gmbh\/research"},{"key":"e_1_3_2_1_4_1","volume-title":"Davide Del Testa","author":"Bojarski Mariusz","year":"2016","unstructured":"Mariusz Bojarski , Davide Del Testa , Daniel Dworakowski, Bernhard Firner , Beat Flepp, Prasoon Goyal, Lawrence D. Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, Xin Zhang, Jake Zhao, and Karol Zieba. 2016 . End to End Learning for Self-Driving Cars. CoRR , abs\/1604.07316 (2016), 1\u20139. arxiv:1604.07316. arxiv:1604.07316 Mariusz Bojarski, Davide Del Testa, Daniel Dworakowski, Bernhard Firner, Beat Flepp, Prasoon Goyal, Lawrence D. Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, Xin Zhang, Jake Zhao, and Karol Zieba. 2016. End to End Learning for Self-Driving Cars. CoRR, abs\/1604.07316 (2016), 1\u20139. arxiv:1604.07316. arxiv:1604.07316"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-079050-0.50020-5"},{"key":"e_1_3_2_1_6_1","unstructured":"Fran\u00e7ois Chollet. 2020. Simple MNIST convnet. https:\/\/github.com\/keras-team\/keras-io\/blob\/master\/examples\/vision\/mnist_convnet.py \t\t\t\t  Fran\u00e7ois Chollet. 2020. Simple MNIST convnet. https:\/\/github.com\/keras-team\/keras-io\/blob\/master\/examples\/vision\/mnist_convnet.py"},{"key":"e_1_3_2_1_7_1","volume-title":"Deep Learning","author":"Goodfellow Ian J.","unstructured":"Ian J. Goodfellow , Yoshua Bengio , and Aaron Courville . 2016. Deep Learning . MIT Press . http:\/\/www.deeplearningbook.org Ian J. Goodfellow, Yoshua Bengio, and Aaron Courville. 2016. Deep Learning. MIT Press. http:\/\/www.deeplearningbook.org"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264835"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00030"},{"key":"e_1_3_2_1_10_1","volume-title":"Taxicab geometry: An adventure in non-Euclidean geometry","author":"Krause Eugene F","unstructured":"Eugene F Krause . 1986. Taxicab geometry: An adventure in non-Euclidean geometry . Courier Corporation . Eugene F Krause. 1986. Taxicab geometry: An adventure in non-Euclidean geometry. Courier Corporation."},{"key":"e_1_3_2_1_11_1","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design","author":"Larman Craig","unstructured":"Craig Larman . 1997. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design . Prentice Hall . isbn:0-13-748880-7 Craig Larman. 1997. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design. Prentice Hall. isbn:0-13-748880-7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.726791"},{"key":"e_1_3_2_1_13_1","unstructured":"Jean-Baptiste Mouret and Jeff Clune. 2015. Illuminating search spaces by mapping elites. arxiv:1504.04909. \t\t\t\t  Jean-Baptiste Mouret and Jeff Clune. 2015. Illuminating search spaces by mapping elites. arxiv:1504.04909."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09881-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409730"},{"key":"e_1_3_2_1_16_1","unstructured":"P. Selinger. 2003. Potrace: a polygon-based tracing algorithm. http:\/\/potrace.sourceforge.net\/potrace.pdf \t\t\t\t  P. Selinger. 2003. Potrace: a polygon-based tracing algorithm. http:\/\/potrace.sourceforge.net\/potrace.pdf"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW51248.2020.00073"},{"key":"e_1_3_2_1_18_1","volume-title":"A taxonomy of model-based testing approaches. Software testing, verification and reliability, 22, 5","author":"Utting Mark","year":"2012","unstructured":"Mark Utting , Alexander Pretschner , and Bruno Legeard . 2012. A taxonomy of model-based testing approaches. Software testing, verification and reliability, 22, 5 ( 2012 ), 297\u2013312. Mark Utting, Alexander Pretschner, and Bruno Legeard. 2012. A taxonomy of model-based testing approaches. Software testing, verification and reliability, 22, 5 (2012), 297\u2013312."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2962027"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598109","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":19,"alternative-id":["10.1145\/3597926.3598109","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598109","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}