{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:06:02Z","timestamp":1757541962919,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1109\/ase51524.2021.9678891","type":"proceedings-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T20:33:49Z","timestamp":1642710829000},"page":"55-66","source":"Crossref","is-referenced-by-count":12,"title":["Detecting TensorFlow Program Bugs in Real-World Industrial Environment"],"prefix":"10.1109","author":[{"given":"Chen","family":"Liu","sequence":"first","affiliation":[]},{"given":"Jie","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Guangwei","family":"Li","sequence":"additional","affiliation":[]},{"given":"Ting","family":"Yuan","sequence":"additional","affiliation":[]},{"given":"Lian","family":"Li","sequence":"additional","affiliation":[]},{"given":"Feng","family":"Tan","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Liang","family":"You","sequence":"additional","affiliation":[]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668044"},{"article-title":"Deeproad: Gan-based metamorphic autonomous driving system testing","year":"2018","author":"zhang","key":"ref38"},{"key":"ref33","article-title":"Theano: A python framework for fast computation of mathematical expressions","author":"al-rfou","year":"2016","journal-title":"ArXiv"},{"journal-title":"Deep Learning with Keras","year":"2017","author":"gulli","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338955"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330579"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238202"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"journal-title":"Machine learning for every data scientist and developer","year":"2020","key":"ref10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2018.00021"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213866"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380362"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00080"},{"key":"ref14","article-title":"Static analysis of shape in TensorFlow programs","author":"lagouvardos","year":"2020","journal-title":"34th European Conference on Object-Oriented Programming (ECOOP 2020)"},{"journal-title":"Alibaba","year":"2020","key":"ref15"},{"journal-title":"MyPy","year":"2020","key":"ref16"},{"journal-title":"Pylint","year":"2020","key":"ref17"},{"journal-title":"pyflakes","year":"2020","key":"ref18"},{"journal-title":"pytype","year":"2020","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3133926"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"ref3","article-title":"Torch: a modular machine learning software library","author":"collobert","year":"2002","journal-title":"IDIAP tech report"},{"key":"ref6","first-page":"3104","article-title":"Sequence to sequence learning with neural networks","volume":"2","author":"sutskever","year":"2014","journal-title":"Proceedings of the 27th International Conference on Neural Information Processing Systems -"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062360"},{"key":"ref5","article-title":"Tensor2tensor for neural machine translation","volume":"abs 1803 7416","author":"vaswani","year":"2018","journal-title":"CoRR"},{"journal-title":"AI and machine learning products","year":"2020","key":"ref8"},{"key":"ref7","article-title":"End to end learning for self-driving cars","volume":"abs 1604 7316","author":"bojarski","year":"2016","journal-title":"CoRR"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2647868.2654889"},{"journal-title":"Azure Machine Learning","year":"2020","key":"ref9"},{"key":"ref1","first-page":"265","article-title":"Tensorflow: A system for large-scale machine learning","author":"abadi","year":"2016","journal-title":"12th USENIX Symposium on Operating Systems Design and Implementation ( OSDI 16)"},{"article-title":"Pytorch: An imperative style, high-performance deep learning library","year":"2019","author":"paszke","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2019.00021"},{"article-title":"Mxnet: A flexible and efficient machine learning library for heterogeneous distributed systems","year":"2015","author":"chen","key":"ref21"},{"journal-title":"WALA","year":"2006","key":"ref24"},{"journal-title":"Nvidia responds to gtx 970 3 5gb memory issue","year":"2015","key":"ref23"},{"journal-title":"Z3","year":"2020","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3211346.3211349"}],"event":{"name":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2021,11,15]]},"location":"Melbourne, Australia","end":{"date-parts":[[2021,11,19]]}},"container-title":["2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9678507\/9678392\/09678891.pdf?arnumber=9678891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:57:44Z","timestamp":1652201864000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9678891\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/ase51524.2021.9678891","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]}}}