{"id":"https://openalex.org/W4411523081","doi":"https://doi.org/10.1145/3728945","title":"Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation","display_name":"Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411523081","doi":"https://doi.org/10.1145/3728945"},"language":"en","primary_location":{"id":"doi:10.1145/3728945","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728945","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3728945","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101815991","display_name":"Xiufeng Xu","orcid":"https://orcid.org/0000-0003-2564-6660"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Xiufeng Xu","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0003-2564-6660","affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039101810","display_name":"Fuman Xie","orcid":"https://orcid.org/0000-0002-5446-3081"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Fuman Xie","raw_affiliation_strings":["University of Queensland, Brisbane, Australia"],"raw_orcid":"https://orcid.org/0000-0002-5446-3081","affiliations":[{"raw_affiliation_string":"University of Queensland, Brisbane, Australia","institution_ids":["https://openalex.org/I165143802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054819831","display_name":"Chenguang Zhu","orcid":"https://orcid.org/0000-0002-7343-8279"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chenguang Zhu","raw_affiliation_strings":["University of Texas at Austin, Austin, USA"],"raw_orcid":"https://orcid.org/0000-0002-7343-8279","affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015858067","display_name":"Guangdong Bai","orcid":"https://orcid.org/0000-0002-6390-9890"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Guangdong Bai","raw_affiliation_strings":["University of Queensland, Brisbane, Australia"],"raw_orcid":"https://orcid.org/0000-0002-6390-9890","affiliations":[{"raw_affiliation_string":"University of Queensland, Brisbane, Australia","institution_ids":["https://openalex.org/I165143802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102146282","display_name":"Sarfraz Khurshid","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sarfraz Khurshid","raw_affiliation_strings":["University of Texas at Austin, Austin, USA"],"raw_orcid":"https://orcid.org/0009-0009-7424-7819","affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100421812","display_name":"Yi Li","orcid":"https://orcid.org/0000-0003-4562-8208"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yi Li","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0003-4562-8208","affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19390606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"ISSTA","first_page":"1536","last_page":"1558"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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.9998999834060669,"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.9968000054359436,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9944000244140625,"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/documentation","display_name":"Documentation","score":0.8934801816940308},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8010300993919373},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.7541190385818481},{"id":"https://openalex.org/keywords/software-documentation","display_name":"Software documentation","score":0.6226899027824402},{"id":"https://openalex.org/keywords/interdependence","display_name":"Interdependence","score":0.5547460913658142},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4941752254962921},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49321645498275757},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4707014560699463},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.45493704080581665},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4386332631111145},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4273442029953003},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4120541214942932},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.33999666571617126},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.33655399084091187},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2099960744380951},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.09108036756515503}],"concepts":[{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.8934801816940308},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8010300993919373},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.7541190385818481},{"id":"https://openalex.org/C81587897","wikidata":"https://www.wikidata.org/wiki/Q181702","display_name":"Software documentation","level":5,"score":0.6226899027824402},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.5547460913658142},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4941752254962921},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49321645498275757},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4707014560699463},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.45493704080581665},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4386332631111145},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4273442029953003},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4120541214942932},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.33999666571617126},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.33655399084091187},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2099960744380951},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.09108036756515503},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3728945","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728945","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:dr.ntu.edu.sg:10356/201462","is_oa":false,"landing_page_url":"https://hdl.handle.net/10356/201462","pdf_url":null,"source":{"id":"https://openalex.org/S4306402609","display_name":"DR-NTU (Nanyang Technological University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172675005","host_organization_name":"Nanyang Technological University","host_organization_lineage":["https://openalex.org/I172675005"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.1145/3728945","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728945","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1537154171","https://openalex.org/W2014311072","https://openalex.org/W2014821563","https://openalex.org/W2070111972","https://openalex.org/W2075269190","https://openalex.org/W2103326816","https://openalex.org/W2147743860","https://openalex.org/W2166069603","https://openalex.org/W2617604339","https://openalex.org/W2626106541","https://openalex.org/W2750779823","https://openalex.org/W2888762786","https://openalex.org/W2915114672","https://openalex.org/W2954876572","https://openalex.org/W2955439455","https://openalex.org/W3090397968","https://openalex.org/W3122527318","https://openalex.org/W3125333348","https://openalex.org/W3140063056","https://openalex.org/W4206738852","https://openalex.org/W4211007335","https://openalex.org/W4220921499","https://openalex.org/W4233596768","https://openalex.org/W4235067964","https://openalex.org/W4239249613","https://openalex.org/W4244800048","https://openalex.org/W4246788636","https://openalex.org/W4247399068","https://openalex.org/W4250216568","https://openalex.org/W4252874226","https://openalex.org/W4255108598","https://openalex.org/W4287891464","https://openalex.org/W4313547573","https://openalex.org/W4385567149","https://openalex.org/W4389158474","https://openalex.org/W4400484974","https://openalex.org/W4410743650","https://openalex.org/W4411551564","https://openalex.org/W6807488368","https://openalex.org/W6949578186"],"related_works":["https://openalex.org/W2341492732","https://openalex.org/W3187193180","https://openalex.org/W106542691","https://openalex.org/W1699080303","https://openalex.org/W4297799326","https://openalex.org/W3116064965","https://openalex.org/W4287027380","https://openalex.org/W3193760048","https://openalex.org/W4285822516","https://openalex.org/W2505261959"],"abstract_inverted_index":{"Modern":[0],"AI-":[1],"and":[2,11,20,54,65,79,93,115,141,148,153,163,181],"Data-intensive":[3],"software":[4],"systems":[5],"rely":[6],"heavily":[7],"on":[8,97,166],"data":[9,160],"science":[10,161],"machine":[12],"learning":[13],"libraries":[14,24,162],"that":[15],"provide":[16],"essential":[17],"algorithmic":[18],"implementations":[19],"computational":[21],"frameworks.":[22],"These":[23],"expose":[25],"complex":[26],"APIs":[27,42],"whose":[28],"correct":[29,64],"usage":[30],"has":[31],"to":[32,45,59,134,196],"follow":[33],"constraints":[34,49,68,103,119],"among":[35],"multiple":[36],"interdependent":[37],"parameters.":[38],"Developers":[39],"using":[40,122],"these":[41,102],"are":[43],"expected":[44],"learn":[46],"about":[47],"the":[48,51,105,136,146,197,206],"through":[50,112],"provided":[52],"documentation":[53,71,121,149],"any":[55],"discrepancy":[56],"may":[57],"lead":[58],"unexpected":[60],"behaviors.":[61],"However,":[62],"maintaining":[63],"consistent":[66],"multi-parameter":[67,98],"in":[69],"API":[70,77],"remains":[72],"a":[73,129,177],"significant":[74],"challenge":[75],"for":[76,88],"compatibility":[78],"reliability.":[80],"To":[81],"address":[82],"this":[83],"challenge,":[84],"we":[85],"propose":[86,128],"MPChecker":[87,100,165],"detecting":[89,186],"inconsistencies":[90,144],"between":[91,145],"code":[92,106,147],"documentation,":[94],"specifically":[95],"focusing":[96],"constraints.":[99,150],"identifies":[101],"at":[104,185,205],"level":[107],"by":[108],"exploring":[109],"execution":[110,114],"paths":[111],"symbolic":[113],"further":[116,190],"extracts":[117],"corresponding":[118],"from":[120,157],"large":[123],"language":[124],"models":[125],"(LLMs).":[126],"We":[127,151,189],"customized":[130],"fuzzy":[131],"constraint":[132],"logic":[133],"reconcile":[135],"unpredictability":[137],"of":[138,172,179,208],"LLM":[139],"outputs":[140],"detect":[142],"logical":[143],"collected":[152],"constructed":[154],"two":[155],"datasets":[156],"four":[158],"popular":[159],"evaluated":[164],"them.":[167],"Our":[168],"tool":[169],"identified":[170],"117":[171],"126":[173],"inconsistent":[174],"constraints,":[175],"achieving":[176],"recall":[178],"92.8%":[180],"demonstrating":[182],"its":[183],"effectiveness":[184],"inconsistency":[187,194],"issues.":[188],"reported":[191],"14":[192],"detected":[193],"issues":[195,204],"library":[198],"developers,":[199],"who":[200],"have":[201],"confirmed":[202],"11":[203],"time":[207],"writing.":[209]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}