{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:54:13Z","timestamp":1783007653427,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T00:00:00Z","timestamp":1415664000000},"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":[[2014,11,11]]},"DOI":"10.1145\/2635868.2635924","type":"proceedings-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T21:44:36Z","timestamp":1415137476000},"page":"166-177","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":62,"title":["Mining preconditions of APIs in large-scale code corpus"],"prefix":"10.1145","author":[{"given":"Hoan Anh","family":"Nguyen","sequence":"first","affiliation":[{"name":"Iowa State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Dyer","sequence":"additional","affiliation":[{"name":"Iowa State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tien N.","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Iowa State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hridesh","family":"Rajan","sequence":"additional","affiliation":[{"name":"Iowa State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Code Contracts at Rise4Fun. http:\/\/rise4fun.com\/CodeContracts.  Code Contracts at Rise4Fun. http:\/\/rise4fun.com\/CodeContracts."},{"key":"e_1_3_2_1_2_1","unstructured":"Java Path Finder (JPF). http:\/\/babelfish.arc.nasa.gov\/trac\/jpf.  Java Path Finder (JPF). http:\/\/babelfish.arc.nasa.gov\/trac\/jpf."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040314"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_6_1","unstructured":"Apache Software Foundation. http:\/\/apache.org.  Apache Software Foundation. http:\/\/apache.org."},{"key":"e_1_3_2_1_7_1","first-page":"122","volume-title":"Proceedings of the 8th International SPIN Workshop on Model Checking of Software, SPIN \u201901","author":"Ball T.","unstructured":"T. Ball and S. K. Rajamani . Automatically validating temporal safety properties of interfaces . In Proceedings of the 8th International SPIN Workshop on Model Checking of Software, SPIN \u201901 , pages 103\u2013 122 . Springer-Verlag, 2001. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of the 8th International SPIN Workshop on Model Checking of Software, SPIN \u201901, pages 103\u2013122. Springer-Verlag, 2001."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.24"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_12_1","first-page":"168","volume-title":"Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI\u201911","author":"Cousot P.","unstructured":"P. Cousot , R. Cousot , and F. Logozzo . Precondition inference from intermittent assertions and application to contracts on collections . In Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI\u201911 , pages 150\u2013 168 . Springer-Verlag, 2011. P. Cousot, R. Cousot, and F. Logozzo. Precondition inference from intermittent assertions and application to contracts on collections. In Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI\u201911, pages 150\u2013168. Springer-Verlag, 2011."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_23"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.98"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.60"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081742"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453150"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831723"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081713"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_26_1","volume-title":"http:\/\/www.eecs.ucf.edu\/ ~leavens\/JML\/examples.shtml","author":"ML.","year":"2013","unstructured":"J ML. Examples page. http:\/\/www.eecs.ucf.edu\/ ~leavens\/JML\/examples.shtml , 2013 . JML. Examples page. http:\/\/www.eecs.ucf.edu\/ ~leavens\/JML\/examples.shtml, 2013."},{"key":"e_1_3_2_1_27_1","unstructured":"Jmol. http:\/\/sourceforge.net\/projects\/jmol\/.  Jmol. http:\/\/sourceforge.net\/projects\/jmol\/."},{"key":"e_1_3_2_1_28_1","first-page":"176","volume-title":"Proceedings of the 7th symposium on Operating systems design and implementation, OSDI \u201906","author":"Kremenek T.","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 . USENIX Association, 2006. 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. USENIX Association, 2006."},{"key":"e_1_3_2_1_29_1","unstructured":"G. T. Leavens. The Java Modeling Language (JML). http:\/\/www.eecs.ucf.edu\/~leavens\/JML.  G. T. Leavens. The Java Modeling Language (JML). http:\/\/www.eecs.ucf.edu\/~leavens\/JML."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.28"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081755"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.63"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081754"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.19"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065018"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.48"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337200"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491434"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595767"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.60"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250749"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167508"},{"key":"e_1_3_2_1_46_1","unstructured":"SeMoA - Secure Mobile Agents. http:\/\/sourceforge.net\/projects\/semoa\/.  SeMoA - Secure Mobile Agents. http:\/\/sourceforge.net\/projects\/semoa\/."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"e_1_3_2_1_48_1","unstructured":"SourceForge.net. http:\/\/sourceforge.net\/.  SourceForge.net. http:\/\/sourceforge.net\/."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321663"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.72"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.30"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985820"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_30"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.63"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137983.1137997"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040334"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_15"}],"event":{"name":"SIGSOFT\/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Hong Kong China","acronym":"SIGSOFT\/FSE'14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2635924","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635868.2635924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:11:57Z","timestamp":1750227117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2635924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,11]]},"references-count":59,"alternative-id":["10.1145\/2635868.2635924","10.1145\/2635868"],"URL":"https:\/\/doi.org\/10.1145\/2635868.2635924","relation":{},"subject":[],"published":{"date-parts":[[2014,11,11]]},"assertion":[{"value":"2014-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}