{"id":"https://openalex.org/W7125487133","doi":"https://doi.org/10.1109/tse.2026.3656464","title":"Typestate-Based Fault Localization of API Usage Violations in a Deep Learning Program","display_name":"Typestate-Based Fault Localization of API Usage Violations in a Deep Learning Program","publication_year":2026,"publication_date":"2026-01-21","ids":{"openalex":"https://openalex.org/W7125487133","doi":"https://doi.org/10.1109/tse.2026.3656464"},"language":null,"primary_location":{"id":"doi:10.1109/tse.2026.3656464","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2026.3656464","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","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":null,"display_name":"Fraol Batole","orcid":"https://orcid.org/0009-0007-2499-1717"},"institutions":[{"id":"https://openalex.org/I114832834","display_name":"Tulane University","ror":"https://ror.org/04vmvtb21","country_code":"US","type":"education","lineage":["https://openalex.org/I114832834"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Fraol Batole","raw_affiliation_strings":["Department of Computer Science, Tulane University, New Orleans, LA, USA"],"raw_orcid":"https://orcid.org/0009-0007-2499-1717","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tulane University, New Orleans, LA, USA","institution_ids":["https://openalex.org/I114832834"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012837373","display_name":"Ruchira Manke","orcid":"https://orcid.org/0009-0007-4729-8421"},"institutions":[{"id":"https://openalex.org/I114832834","display_name":"Tulane University","ror":"https://ror.org/04vmvtb21","country_code":"US","type":"education","lineage":["https://openalex.org/I114832834"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruchira Manke","raw_affiliation_strings":["Department of Computer Science, Tulane University, New Orleans, LA, USA"],"raw_orcid":"https://orcid.org/0009-0007-4729-8421","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tulane University, New Orleans, LA, USA","institution_ids":["https://openalex.org/I114832834"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123671145","display_name":"Robert Dyer","orcid":null},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Dyer","raw_affiliation_strings":["University of Nebraska–Lincoln, Lincoln, NE, USA"],"raw_orcid":"https://orcid.org/0000-0001-9571-5567","affiliations":[{"raw_affiliation_string":"University of Nebraska–Lincoln, Lincoln, NE, USA","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121569699","display_name":"Tien N. Nguyen","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tien N. Nguyen","raw_affiliation_strings":["Computer Science Department, The University of Texas at Dallas, Dallas, TX, USA"],"raw_orcid":"https://orcid.org/0009-0006-7962-6090","affiliations":[{"raw_affiliation_string":"Computer Science Department, The University of Texas at Dallas, Dallas, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122122621","display_name":"Hridesh Rajan","orcid":null},"institutions":[{"id":"https://openalex.org/I114832834","display_name":"Tulane University","ror":"https://ror.org/04vmvtb21","country_code":"US","type":"education","lineage":["https://openalex.org/I114832834"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hridesh Rajan","raw_affiliation_strings":["Department of Computer Science, Tulane University, New Orleans, LA, USA"],"raw_orcid":"https://orcid.org/0000-0002-9410-9562","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tulane University, New Orleans, LA, USA","institution_ids":["https://openalex.org/I114832834"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I114832834"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12225914,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"52","issue":"3","first_page":"1000","last_page":"1014"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.2540000081062317,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.2540000081062317,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.2451000064611435,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.1185000017285347,"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/deep-learning","display_name":"Deep learning","score":0.7050999999046326},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4250999987125397},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3003000020980835},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.28999999165534973},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.26510000228881836},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.25529998540878296}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8270999789237976},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.7050999999046326},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5796999931335449},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4250999987125397},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3240000009536743},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32010000944137573},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3003000020980835},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29170000553131104},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.28999999165534973},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2782999873161316},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.25529998540878296},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.25110000371932983},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.25099998712539673},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2026.3656464","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2026.3656464","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1991546210","https://openalex.org/W1996567876","https://openalex.org/W2044590882","https://openalex.org/W2091712774","https://openalex.org/W2799423598","https://openalex.org/W2968594320","https://openalex.org/W2973035781","https://openalex.org/W3019415692","https://openalex.org/W3083470206","https://openalex.org/W3089416068","https://openalex.org/W3090643686","https://openalex.org/W3092430836","https://openalex.org/W3134796670","https://openalex.org/W3160349922","https://openalex.org/W3160369295","https://openalex.org/W3174544859","https://openalex.org/W3186977283","https://openalex.org/W3203969037","https://openalex.org/W4206238894","https://openalex.org/W4214730640","https://openalex.org/W4229068576","https://openalex.org/W4284681547","https://openalex.org/W4308641610","https://openalex.org/W4312558817","https://openalex.org/W4388483172","https://openalex.org/W4394745299","https://openalex.org/W4405444248","https://openalex.org/W4411551950"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-20T20:47:17.329874","created_date":"2026-01-24T00:00:00"}