{"id":"https://openalex.org/W2108632968","doi":"https://doi.org/10.1109/tse.2012.63","title":"Automated API Property Inference Techniques","display_name":"Automated API Property Inference Techniques","publication_year":2012,"publication_date":"2012-09-24","ids":{"openalex":"https://openalex.org/W2108632968","doi":"https://doi.org/10.1109/tse.2012.63","mag":"2108632968"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2012.63","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://www.bodden.de/pubs/rbk%2B12automated.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059244952","display_name":"Martin P. Robillard","orcid":"https://orcid.org/0000-0002-0248-1384"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Martin P. Robillard","raw_affiliation_strings":["McGill University , Montreal"],"affiliations":[{"raw_affiliation_string":"McGill University , Montreal","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076678278","display_name":"Eric Bodden","orcid":"https://orcid.org/0000-0003-3470-3647"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Eric Bodden","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032952775","display_name":"David Kawrykow","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"David Kawrykow","raw_affiliation_strings":["McGill University , Montreal"],"affiliations":[{"raw_affiliation_string":"McGill University , Montreal","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074611309","display_name":"Tristan Ratchford","orcid":null},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Tristan Ratchford","raw_affiliation_strings":["McGill University , Montreal"],"affiliations":[{"raw_affiliation_string":"McGill University , Montreal","institution_ids":["https://openalex.org/I5023651"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":48.433,"has_fulltext":false,"cited_by_count":191,"citation_normalized_percentile":{"value":0.984053,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"39","issue":"5","first_page":"613","last_page":"637"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9999,"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.9999,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9984,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9936,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/application-programming-interface","display_name":"Application programming interface","score":0.579177}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.87671304},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.65609854},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5964116},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5906697},{"id":"https://openalex.org/C99613125","wikidata":"https://www.wikidata.org/wiki/Q165194","display_name":"Application programming interface","level":2,"score":0.579177},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5423113},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47561768},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37397003},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35957187},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3234033},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22058865},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2012.63","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.3218","pdf_url":"http://www.bodden.de/pubs/rbk%2B12automated.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.3218","pdf_url":"http://www.bodden.de/pubs/rbk%2B12automated.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.53}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":118,"referenced_works":["https://openalex.org/W122598200","https://openalex.org/W1484413656","https://openalex.org/W1489391022","https://openalex.org/W1498946538","https://openalex.org/W1506285740","https://openalex.org/W1520890006","https://openalex.org/W1565935466","https://openalex.org/W1570229058","https://openalex.org/W1584735725","https://openalex.org/W159524162","https://openalex.org/W1596552075","https://openalex.org/W1657461476","https://openalex.org/W1743635611","https://openalex.org/W1966283741","https://openalex.org/W1966703696","https://openalex.org/W1970607969","https://openalex.org/W1971344984","https://openalex.org/W1988281920","https://openalex.org/W1989445634","https://openalex.org/W1991613282","https://openalex.org/W1996832037","https://openalex.org/W2004539628","https://openalex.org/W2008475907","https://openalex.org/W2012148899","https://openalex.org/W2019166248","https://openalex.org/W2025677988","https://openalex.org/W2027006565","https://openalex.org/W2030972311","https://openalex.org/W2043100293","https://openalex.org/W2043791485","https://openalex.org/W2043811931","https://openalex.org/W2045112813","https://openalex.org/W2052363833","https://openalex.org/W2054520963","https://openalex.org/W2059215200","https://openalex.org/W2064081154","https://openalex.org/W2066219736","https://openalex.org/W2074001172","https://openalex.org/W2074644416","https://openalex.org/W2076343783","https://openalex.org/W2080696000","https://openalex.org/W2081757705","https://openalex.org/W2081920984","https://openalex.org/W2093938715","https://openalex.org/W2096061896","https://openalex.org/W2096601022","https://openalex.org/W2099056153","https://openalex.org/W2100310705","https://openalex.org/W2101512909","https://openalex.org/W2103188316","https://openalex.org/W2103318645","https://openalex.org/W2103640219","https://openalex.org/W2103806799","https://openalex.org/W2105638048","https://openalex.org/W2106259924","https://openalex.org/W2107690445","https://openalex.org/W2109612250","https://openalex.org/W2116357421","https://openalex.org/W2118480031","https://openalex.org/W2119467398","https://openalex.org/W2121059325","https://openalex.org/W2121818394","https://openalex.org/W2122182354","https://openalex.org/W2123227336","https://openalex.org/W2124081952","https://openalex.org/W2124516932","https://openalex.org/W2124666592","https://openalex.org/W2126834265","https://openalex.org/W2129304537","https://openalex.org/W2130730821","https://openalex.org/W2131109383","https://openalex.org/W2131954495","https://openalex.org/W2133363731","https://openalex.org/W2133437259","https://openalex.org/W2134338128","https://openalex.org/W2136646111","https://openalex.org/W2136656815","https://openalex.org/W2138621811","https://openalex.org/W2140681814","https://openalex.org/W2142554897","https://openalex.org/W2142973056","https://openalex.org/W2145020764","https://openalex.org/W2148702066","https://openalex.org/W2150240046","https://openalex.org/W2150654203","https://openalex.org/W2153943889","https://openalex.org/W2153964911","https://openalex.org/W2156221858","https://openalex.org/W2156417145","https://openalex.org/W2156448859","https://openalex.org/W2156841542","https://openalex.org/W2156844766","https://openalex.org/W2156881251","https://openalex.org/W2157836986","https://openalex.org/W2158391928","https://openalex.org/W2159760476","https://openalex.org/W2164803710","https://openalex.org/W2165575313","https://openalex.org/W2166019458","https://openalex.org/W2166064937","https://openalex.org/W2167187192","https://openalex.org/W2169335998","https://openalex.org/W2169974813","https://openalex.org/W2170125011","https://openalex.org/W2170181173","https://openalex.org/W2170694668","https://openalex.org/W2171471938","https://openalex.org/W2295399529","https://openalex.org/W2334033528","https://openalex.org/W3012979157","https://openalex.org/W4214726414","https://openalex.org/W4232188856","https://openalex.org/W4235136009","https://openalex.org/W4240838459","https://openalex.org/W4241558139","https://openalex.org/W4244217062","https://openalex.org/W68548015","https://openalex.org/W90447038"],"related_works":["https://openalex.org/W4283160672","https://openalex.org/W4241418540","https://openalex.org/W35919320","https://openalex.org/W3119814709","https://openalex.org/W3008339103","https://openalex.org/W2725786787","https://openalex.org/W2404647514","https://openalex.org/W2018477250","https://openalex.org/W1667647204","https://openalex.org/W1508895727"],"abstract_inverted_index":{"Frameworks":[0],"and":[1,5,16,27,61,68,107,116,144],"libraries":[2],"offer":[3],"reusable":[4],"customizable":[6],"functionality":[7],"through":[8],"Application":[9],"Programming":[10],"Interfaces":[11],"(APIs).":[12],"Correctly":[13],"using":[14],"large":[15],"sophisticated":[17],"APIs":[18],"can":[19],"represent":[20],"a":[21,73,78,91,114],"challenge":[22],"due":[23],"to":[24,34,40,64],"hidden":[25],"assumptions":[26],"requirements.":[28],"Numerous":[29],"approaches":[30],"have":[31],"been":[32],"developed":[33],"infer":[35],"properties":[36,103],"of":[37,52,76,80,93,101,118,130],"APIs,":[38],"intended":[39],"guide":[41],"their":[42,66],"use":[43],"by":[44],"developers.":[45],"With":[46],"each":[47],"approach":[48],"come":[49],"new":[50,55,62],"definitions":[51],"API":[53,131],"properties,":[54,60],"techniques":[56,121],"for":[57,86],"inferring":[58],"these":[59],"ways":[63],"assess":[65],"correctness":[67],"usefulness.":[69],"This":[70],"paper":[71],"provides":[72,90],"comprehensive":[74],"survey":[75,89],"over":[77,119],"decade":[79],"research":[81],"on":[82,127],"automated":[83],"property":[84,132],"inference":[85],"APIs.":[87],"Our":[88],"synthesis":[92],"this":[94],"complex":[95],"technical":[96],"field":[97],"along":[98],"different":[99,124],"dimensions":[100],"analysis:":[102],"inferred,":[104],"mining":[105],"techniques,":[106],"empirical":[108],"results.":[109],"In":[110],"particular,":[111],"we":[112],"derive":[113],"classification":[115],"organization":[117],"60":[120],"into":[122],"five":[123],"categories":[125],"based":[126],"the":[128],"type":[129],"inferred:":[133],"unordered":[134],"usage":[135,138],"patterns,":[136,139],"sequential":[137],"behavioral":[140],"specifications,":[141],"migration":[142],"mappings,":[143],"general":[145],"information.":[146]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2108632968","counts_by_year":[{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":13},{"year":2021,"cited_by_count":23},{"year":2020,"cited_by_count":19},{"year":2019,"cited_by_count":23},{"year":2018,"cited_by_count":24},{"year":2017,"cited_by_count":17},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":21},{"year":2014,"cited_by_count":19},{"year":2013,"cited_by_count":9}],"updated_date":"2025-01-15T21:35:16.464417","created_date":"2016-06-24"}