{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:14Z","timestamp":1759032374924,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T00:00:00Z","timestamp":1604707200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3417043","type":"proceedings-article","created":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T06:03:47Z","timestamp":1604815427000},"page":"1533-1536","source":"Crossref","is-referenced-by-count":2,"title":["Testing machine learning code using polyhedral region"],"prefix":"10.1145","author":[{"given":"Md Sohel","family":"Ahmed","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Japan"}]},{"given":"Fuyuki","family":"Ishikawa","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Japan"}]},{"given":"Mahito","family":"Sugiyama","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Japan"}]}],"member":"320","published-online":{"date-parts":[[2020,11,7]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.52"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"Houssem Ben Braiek and Foutse Khomh. 2020. On testing machine learning programs. Journal of Systems and Software 164 ( 2020 ) 110542.  Houssem Ben Braiek and Foutse Khomh. 2020. On testing machine learning programs. Journal of Systems and Software 164 ( 2020 ) 110542.","DOI":"10.1016\/j.jss.2020.110542"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30502-6_23"},{"key":"e_1_3_2_2_4_1","unstructured":"V. N. L. Duy H. Toda R. Sugiyama and I. Takeuchi. 2020. Computing Valid p-value for Optimal Changepoint by Selective Inference using Dynamic Programming. arXiv: 2002. 09132 ( 2020 ).  V. N. L. Duy H. Toda R. Sugiyama and I. Takeuchi. 2020. Computing Valid p-value for Optimal Changepoint by Selective Inference using Dynamic Programming. arXiv: 2002. 09132 ( 2020 )."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213858"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v033.i01"},{"key":"e_1_3_2_2_7_1","unstructured":"I. Guyon and A. Elisseef. 2003. An introduction to variable and feature selection. Journal of Machine Learning Research 3 ( 2003 ) 1157-1182.  I. Guyon and A. Elisseef. 2003. An introduction to variable and feature selection. Journal of Machine Learning Research 3 ( 2003 ) 1157-1182."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1214\/15-AOS1371"},{"key":"e_1_3_2_2_11_1","first-page":"4901","volume-title":"TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing. In Proceedings of the 36th International Conference on Machine Learning","volume":"97","author":"Odena A."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"volume-title":"Workshops at the Thirty-Second AAAI Conference on Artificial Intelligence.","year":"2018","author":"Srisakaokul Siwakorn","key":"e_1_3_2_2_13_1"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3305890.3306026"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1507583112"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.22"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.2517-6161.1996.tb02080.x"},{"volume-title":"Workshop Track Proceedings of the 6th International Conference on Learning Representations. 1-4.","author":"Tsai Y.-H. H.","key":"e_1_3_2_2_18_1"},{"key":"e_1_3_2_2_19_1","first-page":"152","volume-title":"Proceedings of the 21st International Conference on Artificial Intelligence and Statistics, A. Storkey and F. Perez-Cruz (Eds.)","volume":"84","author":"Yamada M."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/3157096.3157373"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786858"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual Event USA","acronym":"ESEC\/FSE '20"},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3417043","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3417043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:58Z","timestamp":1750197718000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3417043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,7]]},"references-count":20,"alternative-id":["10.1145\/3368089.3417043","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3417043","relation":{},"subject":[],"published":{"date-parts":[[2020,11,7]]}}}