{"id":"https://openalex.org/W4396894041","doi":"https://doi.org/10.1145/3664809","title":"A Formal Explainer for Just-In-Time Defect Predictions","display_name":"A Formal Explainer for Just-In-Time Defect Predictions","publication_year":2024,"publication_date":"2024-05-14","ids":{"openalex":"https://openalex.org/W4396894041","doi":"https://doi.org/10.1145/3664809"},"language":"en","primary_location":{"id":"doi:10.1145/3664809","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3664809","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3664809","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3664809","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098137156","display_name":"Jinqiang Yu","orcid":"https://orcid.org/0000-0002-4376-7266"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jinqiang Yu","raw_affiliation_strings":["Data Science & AI, Monash University, Clayton, Australia"],"raw_orcid":"https://orcid.org/0000-0002-4376-7266","affiliations":[{"raw_affiliation_string":"Data Science & AI, Monash University, Clayton, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102710465","display_name":"Michael C. Fu","orcid":"https://orcid.org/0000-0001-7211-3491"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Michael Fu","raw_affiliation_strings":["Monash University, Clayton, Australia"],"raw_orcid":"https://orcid.org/0000-0001-7211-3491","affiliations":[{"raw_affiliation_string":"Monash University, Clayton, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051305025","display_name":"Alexey Ignatiev","orcid":"https://orcid.org/0000-0002-4535-2902"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Alexey Ignatiev","raw_affiliation_strings":["Monash University, Clayton, Australia"],"raw_orcid":"https://orcid.org/0000-0002-4535-2902","affiliations":[{"raw_affiliation_string":"Monash University, Clayton, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081449581","display_name":"Chakkrit Tantithamthavorn","orcid":"https://orcid.org/0000-0002-5516-9984"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Chakkrit Tantithamthavorn","raw_affiliation_strings":["Information Technology, Monash University, Clayton, Australia"],"raw_orcid":"https://orcid.org/0000-0002-5516-9984","affiliations":[{"raw_affiliation_string":"Information Technology, Monash University, Clayton, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064839018","display_name":"Peter J. Stuckey","orcid":"https://orcid.org/0000-0003-2186-0459"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Peter Stuckey","raw_affiliation_strings":["Monash University, Clayton, Australia"],"raw_orcid":"https://orcid.org/0000-0003-2186-0459","affiliations":[{"raw_affiliation_string":"Monash University, Clayton, Australia","institution_ids":["https://openalex.org/I56590836"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4477,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.93189449,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"33","issue":"7","first_page":"1","last_page":"31"},"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.9987999796867371,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9943000078201294,"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/commit","display_name":"Commit","score":0.8427280783653259},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8384348154067993},{"id":"https://openalex.org/keywords/trustworthiness","display_name":"Trustworthiness","score":0.8349970579147339},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.5043565034866333},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4982120990753174},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.388277530670166},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3691898286342621},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.35642701387405396},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3119671940803528},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.15162047743797302},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.11742416024208069}],"concepts":[{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.8427280783653259},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8384348154067993},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.8349970579147339},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.5043565034866333},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4982120990753174},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.388277530670166},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3691898286342621},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.35642701387405396},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3119671940803528},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.15162047743797302},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.11742416024208069},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3664809","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3664809","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3664809","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3664809","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3664809","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3664809","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4396894041.pdf"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W171406816","https://openalex.org/W2021581601","https://openalex.org/W2031525781","https://openalex.org/W2036265926","https://openalex.org/W2081840025","https://openalex.org/W2101827209","https://openalex.org/W2107147876","https://openalex.org/W2108309071","https://openalex.org/W2147386665","https://openalex.org/W2282821441","https://openalex.org/W2474835145","https://openalex.org/W2530824252","https://openalex.org/W2606150376","https://openalex.org/W2780165894","https://openalex.org/W2788403449","https://openalex.org/W2795013017","https://openalex.org/W2911964244","https://openalex.org/W2953796333","https://openalex.org/W2954276596","https://openalex.org/W2955991060","https://openalex.org/W2962936809","https://openalex.org/W2963095307","https://openalex.org/W2963548617","https://openalex.org/W2963998044","https://openalex.org/W2964237675","https://openalex.org/W2964359568","https://openalex.org/W2981475630","https://openalex.org/W3001551606","https://openalex.org/W3005073185","https://openalex.org/W3005086430","https://openalex.org/W3011013751","https://openalex.org/W3013745307","https://openalex.org/W3040887543","https://openalex.org/W3083954092","https://openalex.org/W3091450981","https://openalex.org/W3105867435","https://openalex.org/W3109165554","https://openalex.org/W3122149408","https://openalex.org/W3134708177","https://openalex.org/W3134986464","https://openalex.org/W3153385371","https://openalex.org/W3163466556","https://openalex.org/W3174067697","https://openalex.org/W3174750614","https://openalex.org/W3175995826","https://openalex.org/W3190685737","https://openalex.org/W3216967183","https://openalex.org/W4205601502","https://openalex.org/W4206241418","https://openalex.org/W4206807714","https://openalex.org/W4234346598","https://openalex.org/W4235354960","https://openalex.org/W4239181501","https://openalex.org/W4283805020","https://openalex.org/W4287558019","https://openalex.org/W4321276865","https://openalex.org/W4375861705","https://openalex.org/W4383860359","https://openalex.org/W6747796876","https://openalex.org/W6779595754","https://openalex.org/W6850007945"],"related_works":["https://openalex.org/W4367365664","https://openalex.org/W4293227618","https://openalex.org/W2136634148","https://openalex.org/W3122851392","https://openalex.org/W3122800671","https://openalex.org/W4250708772","https://openalex.org/W4288862737","https://openalex.org/W1984769753","https://openalex.org/W2129713739","https://openalex.org/W2798595079"],"abstract_inverted_index":{"Just-in-Tim":[0],"e":[1,79],"(JIT)":[2],"defect":[3,96],"prediction":[4,97],"has":[5],"been":[6],"proposed":[7],"to":[8,37,47,103,112,123,187,204,206],"help":[9,188],"teams":[10],"prioritize":[11],"the":[12,16,49,92,148,208],"limited":[13],"resources":[14],"on":[15,88],"most":[17],"risky":[18],"commits":[19],"(or":[20],"pull":[21],"requests),":[22],"yet":[23],"it":[24,170],"remains":[25],"largely":[26],"a":[27,76,196],"black":[28],"box,":[29],"whose":[30],"predictions":[31,50],"are":[32,61,109],"not":[33,63],"explainable":[34],"or":[35],"actionable":[36,130],"practitioners.":[38],"Thus,":[39,172],"prior":[40],"studies":[41],"have":[42],"applied":[43],"various":[44],"model-agnostic":[45,59,134],"techniques":[46,60,135],"explain":[48],"of":[51,94,152,157,167],"JIT":[52,83,95,185],"models.":[53],"Yet,":[54],"explanations":[55,183],"generated":[56],"from":[57],"existing":[58,133],"still":[62],"formally":[64],"sound,":[65],"robust,":[66,128],"and":[67,99,129,150,191,202],"actionable.":[68],"In":[69],"this":[70,173],"article,":[71],"we":[72],"propose":[73],"FoX":[74,120,154],",":[75],"Fo":[77],"rmal":[78],"X":[80],"plainer":[81],"for":[82,184],"Defect":[84],"Prediction,":[85],"which":[86,108],"builds":[87],"formal":[89],"reasoning":[90],"about":[91],"behavior":[93],"models":[98,186],"hence":[100],"is":[101,121,163,198],"able":[102,122],"provide":[104],"provably":[105,126],"correct":[106],"explanations,":[107,131],"additionally":[110],"guaranteed":[111],"be":[113],"minimal.":[114],"Our":[115,137],"experimental":[116],"results":[117],"show":[118],"that":[119,160],"efficiently":[124],"generate":[125],"correct,":[127],"while":[132,165],"cannot.":[136],"survey":[138],"study":[139],"with":[140],"54":[141],"software":[142],"practitioners":[143,192],"provides":[144],"valuable":[145],"insights":[146],"into":[147],"usefulness":[149],"trustworthiness":[151],"our":[153,161],"approach;":[155],"86%":[156],"participants":[158,168],"agreed":[159],"approach":[162],"useful,":[164],"74%":[166],"found":[169],"trustworthy.":[171],"article":[174],"serves":[175],"as":[176,200],"an":[177],"important":[178],"stepping":[179],"stone":[180],"towards":[181],"trustable":[182],"domain":[189],"experts":[190],"better":[193],"understand":[194],"why":[195],"commit":[197],"predicted":[199],"defective":[201],"what":[203],"do":[205],"mitigate":[207],"risk.":[209]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}