{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T19:58:18Z","timestamp":1784836698666,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,12]]},"DOI":"10.1145\/3464968.3468409","type":"proceedings-article","created":{"date-parts":[[2021,7,12]],"date-time":"2021-07-12T00:11:03Z","timestamp":1626048663000},"page":"13-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["NerdBug: automated bug detection in neural networks"],"prefix":"10.1145","author":[{"given":"Foad","family":"Jafarinejad","sequence":"first","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krishna","family":"Narasimhan","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026899"},{"key":"e_1_3_2_1_2_1","volume-title":"Theano: A Python framework for fast computation of mathematical expressions. arXiv, arXiv\u20131605.","author":"Al-Rfou Rami","year":"2016","unstructured":"Rami Al-Rfou , Guillaume Alain , Amjad Almahairi , Christof Angermueller , Dzmitry Bahdanau , Nicolas Ballas , Fr\u00e9d\u00e9ric Bastien , Justin Bayer , Anatoly Belikov , and Alexander Belopolsky . 2016 . Theano: A Python framework for fast computation of mathematical expressions. arXiv, arXiv\u20131605. Rami Al-Rfou, Guillaume Alain, Amjad Almahairi, Christof Angermueller, Dzmitry Bahdanau, Nicolas Ballas, Fr\u00e9d\u00e9ric Bastien, Justin Bayer, Anatoly Belikov, and Alexander Belopolsky. 2016. Theano: A Python framework for fast computation of mathematical expressions. arXiv, arXiv\u20131605."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"e_1_3_2_1_4_1","unstructured":"Fran\u00e7ois Chollet. 2015. keras.  Fran\u00e7ois Chollet. 2015. keras."},{"key":"e_1_3_2_1_5_1","unstructured":"Ronan Collobert Samy Bengio and Johnny Mari\u00e9thoz. 2002. Torch: a modular machine learning software library. Idiap.  Ronan Collobert Samy Bengio and Johnny Mari\u00e9thoz. 2002. Torch: a modular machine learning software library. Idiap."},{"key":"e_1_3_2_1_6_1","unstructured":"Md Johirul Islam. 2020. Towards understanding the challenges faced by machine learning software developers and enabling automated solutions.  Md Johirul Islam. 2020. Towards understanding the challenges faced by machine learning software developers and enabling automated solutions."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338955"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647868.2654889"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3033045"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.15"},{"key":"e_1_3_2_1_11_1","unstructured":"Yann LeCun and Corinna Cortes. 2010. MNIST handwritten digit database. http:\/\/yann.lecun.com\/exdb\/mnist\/. http:\/\/yann.lecun.com\/exdb\/mnist\/  Yann LeCun and Corinna Cortes. 2010. MNIST handwritten digit database. http:\/\/yann.lecun.com\/exdb\/mnist\/. http:\/\/yann.lecun.com\/exdb\/mnist\/"},{"key":"e_1_3_2_1_12_1","unstructured":"Neal Norwitz. [n.d.]. PyChecker. SourceForge project http:\/\/pychecker. sourceforge. net.  Neal Norwitz. [n.d.]. PyChecker. SourceForge project http:\/\/pychecker. sourceforge. net."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00107"},{"key":"e_1_3_2_1_14_1","unstructured":"Michael Pradel and Koushik Sen. 2017. Deep learning to find bugs. TU Darmstadt Department of Computer Science.  Michael Pradel and Koushik Sen. 2017. Deep learning to find bugs. TU Darmstadt Department of Computer Science."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2621980"},{"key":"e_1_3_2_1_16_1","volume-title":"IFIP Congress (1). 376\u2013381","author":"Spillman Thomas C","year":"1971","unstructured":"Thomas C Spillman . 1971 . Exposing Side-Effects in a PL\/I Optimizing Compiler .. In IFIP Congress (1). 376\u2013381 . Thomas C Spillman. 1971. Exposing Side-Effects in a PL\/I Optimizing Compiler.. In IFIP Congress (1). 376\u2013381."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.22"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3275439"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1995.0010"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual Denmark","acronym":"ISSTA '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 1st ACM International Workshop on AI and Software Testing\/Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464968.3468409","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3464968.3468409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:11Z","timestamp":1750191431000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464968.3468409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":19,"alternative-id":["10.1145\/3464968.3468409","10.1145\/3464968"],"URL":"https:\/\/doi.org\/10.1145\/3464968.3468409","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}