{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:19:30Z","timestamp":1759033170957,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"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":[[2017,8,21]]},"DOI":"10.1145\/3106237.3106284","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"151-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Bayesian specification learning for finding API usage errors"],"prefix":"10.1145","author":[{"given":"Vijayaraghavan","family":"Murali","sequence":"first","affiliation":[{"name":"Rice University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swarat","family":"Chaudhuri","sequence":"additional","affiliation":[{"name":"Rice University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Jermaine","sequence":"additional","affiliation":[{"name":"Rice University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"volume-title":"http:\/\/www.androiddrawer.com. {Online","year":"2016","key":"e_1_3_2_1_1_1","unstructured":"Androiddrawer. http:\/\/www.androiddrawer.com. {Online ; accessed 06- Jul- 2016 }. Androiddrawer. http:\/\/www.androiddrawer.com. {Online; accessed 06-Jul-2016}."},{"volume-title":"https:\/\/f-droid.org. {Online","year":"2016","key":"e_1_3_2_1_2_1","unstructured":"F-Droid. https:\/\/f-droid.org. {Online ; accessed 06- Jul- 2016 }. F-Droid. https:\/\/f-droid.org. {Online; accessed 06-Jul-2016}."},{"key":"e_1_3_2_1_3_1","volume-title":"Tensorflow: Large-scale machine learning on heterogeneous distributed systems","author":"Abadi M.","year":"2015","unstructured":"M. Abadi , A. Agarwal , P. Barham , E. Brevdo , Z. Chen , C. Citro , G. Corrado , A. Davis , J. Dean , M. Devin , S. Ghemawat , I. Goodfellow , A. Harp , G. Irving , M. Isard , Y. Jia , R. Jozefowicz , L. Kaiser , M. Kudlur , J. Levenberg , D. Man\u00c3\u013e , R. Monga , S. Moore , D. Murray , C. Olah , M. Schuster , J. Shlens , B. Steiner , I. Sutskever , K. Talwar , P. Tucker , V. Vanhoucke , V. Vasudevan , F. Vi\u00c3\u013egas , O. Vinyals , P. Warden , M. Wattenberg , M. Wicke , Y. Yu , and X. Zheng . Tensorflow: Large-scale machine learning on heterogeneous distributed systems , 2015 . M. Abadi, A. Agarwal, P. Barham, E. Brevdo, Z. Chen, C. Citro, G. Corrado, A. Davis, J. Dean, M. Devin, S. Ghemawat, I. Goodfellow, A. Harp, G. Irving, M. Isard, Y. Jia, R. Jozefowicz, L. Kaiser, M. Kudlur, J. Levenberg, D. Man\u00c3\u013e, R. Monga, S. Moore, D. Murray, C. Olah, M. Schuster, J. Shlens, B. Steiner, I. Sutskever, K. Talwar, P. Tucker, V. Vanhoucke, V. Vasudevan, F. Vi\u00c3\u013egas, O. Vinyals, P. Warden, M. Wattenberg, M. Wicke, Y. Yu, and X. Zheng. Tensorflow: Large-scale machine learning on heterogeneous distributed systems, 2015."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635901"},{"issue":"3","key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1080\/00031305.1992.10475879","article-title":"An introduction to kernel and nearest-neighbor nonparametric regression","volume":"46","author":"Altman N. S.","year":"1992","unstructured":"N. S. Altman . An introduction to kernel and nearest-neighbor nonparametric regression . The American Statistician , 46 ( 3 ): 175 \u2013 185 , 1992 . N. S. Altman. An introduction to kernel and nearest-neighbor nonparametric regression. The American Statistician, 46(3):175\u2013185, 1992.","journal-title":"The American Statistician"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040314"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781152"},{"key":"e_1_3_2_1_9_1","first-page":"138","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Anand S.","unstructured":"S. Anand , C. S. P\u0103s\u0103reanu , and W. Visser . Jpf\u2013se: A symbolic execution extension to java pathfinder . In International Conference on Tools and Algorithms for the Construction and Analysis of Systems , pages 134\u2013 138 . Springer, 2007. S. Anand, C. S. P\u0103s\u0103reanu, and W. Visser. Jpf\u2013se: A symbolic execution extension to java pathfinder. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 134\u2013138. Springer, 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1188895.1188911"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993524"},{"key":"e_1_3_2_1_13_1","volume-title":"A neural probabilistic language model. journal of machine learning research, 3(Feb):1137\u20131155","author":"Bengio Y.","year":"2003","unstructured":"Y. Bengio , R. Ducharme , P. Vincent , and C. Jauvin . A neural probabilistic language model. journal of machine learning research, 3(Feb):1137\u20131155 , 2003 . Y. Bengio, R. Ducharme, P. Vincent, and C. Jauvin. A neural probabilistic language model. journal of machine learning research, 3(Feb):1137\u20131155, 2003."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_15_1","volume-title":"LIPIcs-Leibniz International Proceedings in Informatics","volume":"32","author":"Bielik P.","year":"2015","unstructured":"P. Bielik , V. Raychev , and M. Vechev . Programming with \"big code\": Lessons, techniques and applications . In LIPIcs-Leibniz International Proceedings in Informatics , volume 32 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik , 2015 . P. Bielik, V. Raychev, and M. Vechev. Programming with \"big code\": Lessons, techniques and applications. In LIPIcs-Leibniz International Proceedings in Informatics, volume 32. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015."},{"key":"e_1_3_2_1_16_1","volume-title":"Springer","author":"Bishop C. M.","year":"2006","unstructured":"C. M. Bishop . Pattern Recognition and Machine Learning . Springer , 2006 . C. M. Bishop. Pattern Recognition and Machine Learning. Springer, 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/944919.944937"},{"key":"e_1_3_2_1_18_1","first-page":"224","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908 , pages 209\u2013 224 , Berkeley, CA, USA , 2008 . USENIX Association. C. Cadar, D. Dunbar, and D. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201908, pages 209\u2013224, Berkeley, CA, USA, 2008. USENIX Association."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168885"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2009.60"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1362622.1362643"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1984.4767596"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_26"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950334"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462192"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581377"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_61"},{"key":"e_1_3_2_1_30_1","volume-title":"SciPy: Open source scientific tools for Python","author":"Jones E.","year":"2001","unstructured":"E. Jones , T. Oliphant , P. Peterson , SciPy: Open source scientific tools for Python , 2001 \u2013. {Online; accessed 2016-11-09}. E. Jones, T. Oliphant, P. Peterson, et al. SciPy: Open source scientific tools for Python, 2001\u2013. {Online; accessed 2016-11-09}."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_32_1","first-page":"2516","volume-title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI\u201907","author":"Kremenek T.","year":"2007","unstructured":"T. Kremenek , A. Y. Ng , and D. Engler . A factor graph model for software bug finding . In Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI\u201907 , pages 2510\u2013 2516 , San Francisco, CA, USA , 2007 . Morgan Kaufmann Publishers Inc. T. Kremenek, A. Y. Ng, and D. Engler. A factor graph model for software bug finding. In Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI\u201907, pages 2510\u20132516, San Francisco, CA, USA, 2007. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_1_33_1","first-page":"176","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation, OSDI \u201906","author":"Kremenek T.","year":"2006","unstructured":"T. Kremenek , P. Twohey , G. Back , A. Ng , and D. Engler . From uncertainty to belief: Inferring the specification within . In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, OSDI \u201906 , pages 161\u2013 176 , Berkeley, CA, USA , 2006 . USENIX Association. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: Inferring the specification within. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, OSDI \u201906, pages 161\u2013176, Berkeley, CA, USA, 2006. USENIX Association."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177729694"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081755"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542485"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SLT.2012.6424228"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1883982"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_15"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818858"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491458"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566213"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837661"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984041"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837671"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"e_1_3_2_1_49_1","first-page":"43","volume-title":"Parallel Composition and Comparison","author":"Sokolova A.","unstructured":"A. Sokolova and E. P. de Vink . Probabilistic Automata : System Types , Parallel Composition and Comparison , pages 1\u2013 43 . Springer Berlin Heidelberg, Berlin, Heidelberg, 2004. A. Sokolova and E. P. de Vink. Probabilistic Automata: System Types, Parallel Composition and Comparison, pages 1\u201343. Springer Berlin Heidelberg, Berlin, Heidelberg, 2004."},{"key":"e_1_3_2_1_50_1","first-page":"1999","volume-title":"Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research, CASCON \u201999","author":"Vall\u00e9e-Rai R.","unstructured":"R. Vall\u00e9e-Rai , P. Co , E. Gagnon , L. Hendren , P. Lam , and V. Sundaresan . Soot - a java bytecode optimization framework . In Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research, CASCON \u201999 , pages 13\u2013. IBM Press, 1999 . R. Vall\u00e9e-Rai, P. Co, E. Gagnon, L. Hendren, P. Lam, and V. Sundaresan. Soot - a java bytecode optimization framework. In Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research, CASCON \u201999, pages 13\u2013. IBM Press, 1999."},{"key":"e_1_3_2_1_51_1","volume-title":"various techniques used in connection with random digits","author":"Neumann J. Von","year":"1951","unstructured":"J. Von Neumann . 13. various techniques used in connection with random digits . 1951 . J. Von Neumann. 13. various techniques used in connection with random digits. 1951."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970341"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970341"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_30"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566212"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_15"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Paderborn Germany","acronym":"ESEC\/FSE'17"},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106284","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3106284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:37Z","timestamp":1750217437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106284"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":57,"alternative-id":["10.1145\/3106237.3106284","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3106284","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}