{"id":"https://openalex.org/W3149821397","doi":"https://doi.org/10.1109/icse.2012.6227137","title":"Inferring method specifications from natural language API descriptions","display_name":"Inferring method specifications from natural language API descriptions","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W3149821397","doi":"https://doi.org/10.1109/icse.2012.6227137","mag":"3149821397"},"language":"en","primary_location":{"id":"doi:10.1109/icse.2012.6227137","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227137","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063389690","display_name":"Rahul Pandita","orcid":"https://orcid.org/0000-0002-7466-2985"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rahul Pandita","raw_affiliation_strings":["Department of Computer Science, North Carolina State University, Raleigh, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012621594","display_name":"Xusheng Xiao","orcid":"https://orcid.org/0000-0003-4797-4294"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xusheng Xiao","raw_affiliation_strings":["Department of Computer Science, North Carolina State University, Raleigh, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002503342","display_name":"Hao Zhong","orcid":"https://orcid.org/0000-0002-4302-9183"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Zhong","raw_affiliation_strings":["Laboratory for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048118068","display_name":"Tao Xie","orcid":"https://orcid.org/0000-0002-6731-216X"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tao Xie","raw_affiliation_strings":["Department of Computer Science, North Carolina State University, Raleigh, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, North Carolina State University, Raleigh, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074283380","display_name":"Stephen Oney","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Oney","raw_affiliation_strings":["Human-Computer Interaction Institute, Carnegie Mellon University, Pittsburgh, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Human-Computer Interaction Institute, Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064074691","display_name":"Amit Paradkar","orcid":"https://orcid.org/0000-0003-3707-8939"},"institutions":[{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amit Paradkar","raw_affiliation_strings":["IBM Thomas J. Watson Research Center, Hawthorne, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, Hawthorne, NY, USA","institution_ids":["https://openalex.org/I4210114115"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":109,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"815","last_page":"825"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9887999892234802,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.987500011920929,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8675181865692139},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6437047123908997},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5735363364219666},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.554661750793457},{"id":"https://openalex.org/keywords/application-programming-interface","display_name":"Application programming interface","score":0.5101600289344788},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.48371222615242004},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.47641289234161377},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.47570711374282837},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4742901921272278},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.44150838255882263},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.35199621319770813},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3375226855278015},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.28799736499786377},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.24362608790397644}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8675181865692139},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6437047123908997},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5735363364219666},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.554661750793457},{"id":"https://openalex.org/C99613125","wikidata":"https://www.wikidata.org/wiki/Q165194","display_name":"Application programming interface","level":2,"score":0.5101600289344788},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48371222615242004},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.47641289234161377},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.47570711374282837},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4742901921272278},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.44150838255882263},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.35199621319770813},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3375226855278015},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.28799736499786377},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.24362608790397644},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icse.2012.6227137","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227137","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6899999976158142,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1498946538","https://openalex.org/W1565050238","https://openalex.org/W1569384739","https://openalex.org/W1589411737","https://openalex.org/W1959256509","https://openalex.org/W1993509980","https://openalex.org/W1996430422","https://openalex.org/W1999705183","https://openalex.org/W2045812729","https://openalex.org/W2052363833","https://openalex.org/W2064081154","https://openalex.org/W2072082216","https://openalex.org/W2097606805","https://openalex.org/W2101432564","https://openalex.org/W2103260577","https://openalex.org/W2106259924","https://openalex.org/W2106999256","https://openalex.org/W2107621192","https://openalex.org/W2108021205","https://openalex.org/W2109612250","https://openalex.org/W2113667150","https://openalex.org/W2114178685","https://openalex.org/W2116973066","https://openalex.org/W2118435948","https://openalex.org/W2118655104","https://openalex.org/W2126110262","https://openalex.org/W2134092629","https://openalex.org/W2135818771","https://openalex.org/W2142973056","https://openalex.org/W2146177878","https://openalex.org/W2146178292","https://openalex.org/W2156844766","https://openalex.org/W2167187192","https://openalex.org/W2171238733","https://openalex.org/W2522986955","https://openalex.org/W2962708851","https://openalex.org/W3103401489","https://openalex.org/W4235505822","https://openalex.org/W4251179747","https://openalex.org/W6629794218","https://openalex.org/W6634077160","https://openalex.org/W6640999270","https://openalex.org/W6677359323","https://openalex.org/W6683124450"],"related_works":["https://openalex.org/W1916258364","https://openalex.org/W1527542101","https://openalex.org/W2132980721","https://openalex.org/W3048422056","https://openalex.org/W2043563043","https://openalex.org/W2905272623","https://openalex.org/W2607268704","https://openalex.org/W2165926059","https://openalex.org/W4385373766","https://openalex.org/W2091570652"],"abstract_inverted_index":{"Application":[0],"Programming":[1],"Interface":[2],"(API)":[3],"documents":[4,30,71],"are":[5,36],"a":[6,98],"typical":[7],"way":[8],"of":[9,13,42,109,122,140],"describing":[10,162],"legal":[11,40,62],"usage":[12,41,63],"reusable":[14],"software":[15,19,33,46],"libraries,":[16],"thus":[17,88],"facilitating":[18],"reuse.":[20],"However,":[21,77],"even":[22],"with":[23,38,85],"such":[24],"documents,":[25],"developers":[26],"often":[27],"overlook":[28],"some":[29],"and":[31,56,125],"build":[32],"systems":[34],"that":[35,75,116,131,147],"inconsistent":[37],"the":[39,61],"those":[43],"libraries.":[44],"Existing":[45],"verification":[47],"tools":[48],"require":[49],"formal":[50,86,103],"specifications":[51,104,157],"(such":[52],"as":[53],"code":[54,73,133,163],"contracts),":[55],"therefore":[57],"cannot":[58],"directly":[59],"verify":[60],"described":[64],"in":[65,69,78,128,155],"natural":[66,106],"language":[67,107],"text":[68,108],"API":[70,110,141],"against":[72],"using":[74],"library.":[76],"practice,":[79],"most":[80],"libraries":[81],"do":[82],"not":[83],"come":[84],"specifications,":[87],"hindering":[89],"tool-based":[90],"verification.":[91],"To":[92],"address":[93],"this":[94],"issue,":[95],"we":[96],"propose":[97],"novel":[99],"approach":[100,118,149],"to":[101],"infer":[102],"from":[105,135,158],"documents.":[111,142],"Our":[112],"evaluation":[113],"results":[114,145],"show":[115,146],"our":[117,144,148],"achieves":[119],"an":[120,151],"average":[121,152],"92%":[123],"precision":[124],"93%":[126],"recall":[127],"identifying":[129],"sentences":[130,139,161],"describe":[132],"contracts":[134],"more":[136],"than":[137],"2500":[138],"Furthermore,":[143],"has":[150],"83%":[153],"accuracy":[154],"inferring":[156],"over":[159],"1600":[160],"contracts.":[164]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":12},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":11},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":10}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}