{"id":"https://openalex.org/W7140154635","doi":"https://doi.org/10.70675/4fda7e2bz301bz4a88zaa68z54cc29638ede","title":"D\u00e9tection Automatique de Bugs dans le contexte de la R\u00e9paration Automatique de Programmes","display_name":"D\u00e9tection Automatique de Bugs dans le contexte de la R\u00e9paration Automatique de Programmes","publication_year":2025,"publication_date":"2025-12-08","ids":{"openalex":"https://openalex.org/W7140154635","doi":"https://doi.org/10.70675/4fda7e2bz301bz4a88zaa68z54cc29638ede"},"language":"en","primary_location":{"id":"pmh:oai:HAL:tel-05559727v1","doi":"https://doi.org/10.70675/4fda7e2bz301bz4a88zaa68z54cc29638ede","is_oa":true,"landing_page_url":"https://theses.hal.science/tel-05559727","pdf_url":"https://theses.hal.science/tel-05559727/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science [cs]. Sorbonne Universit\u00e9, 2025. English. ⟨NNT : 2025SORUS542⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},"volume":null,"type":"dissertation","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://theses.hal.science/tel-05559727/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098809900","display_name":"Romain Vacheret","orcid":"https://orcid.org/0009-0008-5028-9216","observed_orcids":["https://orcid.org/0009-0008-5028-9216"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Vacheret, Romain","raw_affiliation_strings":["Mod\u00e9lisation et V\u00e9rification"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mod\u00e9lisation et V\u00e9rification","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5098809900"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9994999766349792,"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.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.00039999998989515007,"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.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fault-localization","display_name":"fault location","score":0.9380000233650208},{"id":"https://openalex.org/keywords/automated-program-repair","display_name":"automated program repair","score":0.7210000157356262},{"id":"https://openalex.org/keywords/spectrum-based-fault-localization","display_name":"spectrum-based fault localization","score":0.8949999809265137},{"id":"https://openalex.org/keywords/latent-dirichlet-allocation","display_name":"latent Dirichlet allocation","score":0.9480000138282776},{"id":"https://openalex.org/keywords/code-fragments","display_name":"code fragments","score":0.6230000257492065},{"id":"https://openalex.org/keywords/evolutionary-algorithms","display_name":"evolutionary algorithms","score":0.7870000004768372},{"id":"https://openalex.org/keywords/fitness-function","display_name":"fitness function","score":0.4860000014305115},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.3269999921321869},{"id":"https://openalex.org/keywords/test-suite-redundancy","display_name":"test suite redundancy","score":0.3009999990463257}],"concepts":[{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.5320000052452087},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.5263000130653381},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39489999413490295},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3776000142097473},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2037999927997589},{"id":"https://openalex.org/C2994543612","wikidata":"https://www.wikidata.org/wiki/Q22806","display_name":"National library","level":2,"score":0.16019999980926514},{"id":"https://openalex.org/C2982962833","wikidata":"https://www.wikidata.org/wiki/Q17092450","display_name":"Information fusion","level":2,"score":0.14079999923706055},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.1347000002861023},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.13339999318122864},{"id":"https://openalex.org/C194051981","wikidata":"https://www.wikidata.org/wiki/Q1337691","display_name":"Economic shortage","level":3,"score":0.12849999964237213}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:HAL:tel-05559727v1","doi":"https://doi.org/10.70675/4fda7e2bz301bz4a88zaa68z54cc29638ede","is_oa":true,"landing_page_url":"https://theses.hal.science/tel-05559727","pdf_url":"https://theses.hal.science/tel-05559727/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science [cs]. Sorbonne Universit\u00e9, 2025. English. ⟨NNT : 2025SORUS542⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:2025SORUS542","doi":null,"is_oa":true,"landing_page_url":"http://www.theses.fr/2025SORUS542/document","pdf_url":null,"source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Electronic Thesis or Dissertation"}],"best_oa_location":{"id":"pmh:oai:HAL:tel-05559727v1","doi":"https://doi.org/10.70675/4fda7e2bz301bz4a88zaa68z54cc29638ede","is_oa":true,"landing_page_url":"https://theses.hal.science/tel-05559727","pdf_url":"https://theses.hal.science/tel-05559727/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science [cs]. Sorbonne Universit\u00e9, 2025. English. ⟨NNT : 2025SORUS542⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"display_name":"Industry, innovation and infrastructure","score":0.5554429888725281,"id":"https://metadata.un.org/sdg/9"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7140154635.pdf","grobid_xml":"https://content.openalex.org/works/W7140154635.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Les":[0,135,269,430],"logiciels":[1,29],"sont":[2,272],"aujourd'hui":[3],"omnipr\u00e9sents,":[4],"qu'il":[5],"s'agisse,":[6],"par":[7,172,366,423,443],"exemple,":[8],"d'infrastructures":[9],"critiques":[10],"ou":[11,148],"d'applications":[12],"du":[13],"quotidien.":[14],"Malgr\u00e9":[15],"les":[16,27,74,92,121,303,343,348,397],"progr\u00e8s":[17],"des":[18,23,116,141,154,163,196,237,240,250,254,289,337,354,362,417,466,471,504],"m\u00e9thodologies":[19],"de":[20,25,36,60,62,82,103,105,123,131,166,185,210,221,229,234,247,265,276,300,323,373,382,400,403,410,420,426,428,440,449,460,473,486,497,511,517],"d\u00e9veloppement":[21],"et":[22,41,107,192,207,223,243,306,370,483,506],"pratiques":[24],"test,":[26],"syst\u00e8mes":[28],"demeurent":[30],"vuln\u00e9rables":[31],"aux":[32,320,445,457,480,490],"fautes.":[33,124],"Le":[34,308,391,414],"processus":[35],"d\u00e9bogage,":[37],"indispensable":[38],"pour":[39,70,286,342,500],"localiser":[40],"corriger":[42],"ces":[43,453],"erreurs,":[44],"reste":[45],"co\u00fbteux":[46],"tant":[47],"en":[48,189,274,316,359],"temps":[49],"qu'en":[50],"ressources":[51],"financi\u00e8res.":[52],"Pour":[53,375],"r\u00e9pondre":[54],"\u00e0":[55,140,296,361,510],"ce":[56,377],"d\u00e9fi,":[57],"le":[58,80,146,152,310,407,484,508,515],"domaine":[59,516],"recherche":[61],"la":[63,132,149,173,245,248,259,263,266,324,438,441,461,469,477,502,518],"Fault":[64,97,110,133,325,462,519],"Localization":[65,98,111,463,520],"(FL)":[66],"s'est":[67],"d\u00e9velopp\u00e9,":[68],"avec":[69,396],"objectif":[71],"d'identifier":[72],"automatiquement":[73],"\u00e9l\u00e9ments":[75],"fautifs":[76],"d'un":[77],"programme.":[78],"Selon":[79],"type":[81],"donn\u00e9es":[83,474],"exploit\u00e9es,":[84],"plusieurs":[85],"familles":[86],"d'approches":[87],"ont":[88],"\u00e9t\u00e9":[89],"propos\u00e9es.":[90],"Parmi":[91],"plus":[93,311],"r\u00e9pandues":[94],"figurent":[95],"Spectrum-Based":[96],"(SBFL),":[99],"fond\u00e9e":[100],"sur":[101,115,278,385],"l'analyse":[102],"l'ex\u00e9cution":[104],"tests":[106],"Information":[108],"Retrieval":[109,168],"(IRFL),":[112],"qui":[113],"s'appuie":[114],"artefacts":[117],"textuels":[118],"tels":[119,144],"que":[120,145,347,434],"rapports":[122],"La":[125,198,327],"granularit\u00e9":[126],"constitue":[127],"un":[128,282,317,339,424],"aspect":[129],"essentiel":[130],"Localization.":[134,326],"techniques":[136,242],"existantes":[137],"op\u00e8rent":[138],"souvent":[139,351],"niveaux":[142],"\u00e9lev\u00e9s,":[143],"fichier":[147],"m\u00e9thode,":[150],"laissant":[151],"niveau":[153,160,195,253,336,465],"instructions":[155,270,349,467,491],"relativement":[156],"peu":[157],"\u00e9tudi\u00e9.":[158],"Au":[159],"instruction,":[161],"l'efficacit\u00e9":[162],"m\u00e9thodes":[164],"issues":[165],"l'Information":[167],"(IR)":[169],"est":[170,280,294,313,389],"limit\u00e9e":[171],"faible":[174],"quantit\u00e9":[175],"d'information":[176,333],"textuelle":[177],"disponible":[178],"dans":[179,514],"chaque":[180,394],"instruction.":[181],"Cette":[182,231],"th\u00e8se":[183],"propose":[184],"d\u00e9passer":[186],"cette":[187,257,435],"limitation":[188,470],"combinant":[190,205,302],"SBFL":[191,206,222],"IRFL":[193,208,447],"au":[194,252,331,335,464],"instructions.":[197,255],"premi\u00e8re":[199],"contribution":[200,261,329],"introduit":[201],"une":[202,379],"approche":[203],"hybride":[204],"afin":[209],"pallier":[211],"leurs":[212],"limites":[213],"respectives.":[214],"Plus":[215],"pr\u00e9cis\u00e9ment,":[216],"elle":[217],"int\u00e8gre":[218],"Ochiai,":[219],"issu":[220,228],"Latent":[224],"Dirichlet":[225],"Allocation":[226],"(LDA),":[227],"IRFL.":[230,345],"combinaison":[232],"permet":[233],"tirer":[235],"parti":[236],"forces":[238],"compl\u00e9mentaires":[239,388],"deux":[241,386],"am\u00e9liore":[244,437],"pr\u00e9cision":[246],"localisation":[249,267,442,503],"fautes":[251,481,505],"Sur":[256],"base,":[258],"deuxi\u00e8me":[260],"aborde":[262],"probl\u00e9matique":[264],"multi-fautes.":[268],"y":[271],"regroup\u00e9es":[273],"fragments":[275,290],"code":[277],"lesquels":[279],"appliqu\u00e9":[281],"Algorithme":[283],"Evolutionnaire":[284],"(AE)":[285],"explorer":[287],"l'espace":[288],"possibles.":[291],"Chaque":[292],"fragment":[293,309],"\u00e9valu\u00e9":[295],"l'aide":[297],"d'une":[298],"fonction":[299],"fitness":[301],"scores":[304],"Ochiai":[305],"LDA.":[307],"performant":[312],"ensuite":[314],"converti":[315],"classement":[318],"conforme":[319],"sorties":[321],"standards":[322],"troisi\u00e8me":[328],"r\u00e9pond":[330],"manque":[332,485],"contextuelle":[334],"instructions,":[338],"enjeu":[340],"majeur":[341],"approches":[344,446],"Bien":[346],"soient":[350],"trait\u00e9es":[352],"comme":[353],"entit\u00e9s":[355],"ind\u00e9pendantes,":[356],"elles":[357],"appartiennent":[358],"r\u00e9alit\u00e9":[360],"blocs":[363],"s\u00e9mantiques":[364],"d\u00e9finis":[365],"leur":[367,371],"contexte":[368,487],"structurel":[369],"flot":[372],"donn\u00e9es.":[374],"exploiter":[376],"contexte,":[378],"strat\u00e9gie":[380],"d'expansion":[381],"documents":[383],"reposant":[384],"volets":[387],"propos\u00e9e.":[390],"premier":[392],"enrichit":[393],"instruction":[395],"noms":[398],"pr\u00e9trait\u00e9s":[399],"sa":[401,404],"classe,":[402],"m\u00e9thode":[405],"et,":[406],"cas":[408],"\u00e9ch\u00e9ant,":[409],"son":[411],"commentaire":[412],"associ\u00e9.":[413],"second":[415],"ajoute":[416],"termes":[418],"issus":[419],"lignes":[421],"reli\u00e9es":[422],"graphe":[425],"relations":[427],"variables.":[429],"r\u00e9sultats":[431],"exp\u00e9rimentaux":[432],"montrent":[433],"expansion":[436],"qualit\u00e9":[439],"rapport":[444],"d\u00e9pourvues":[448],"m\u00e9canisme":[450],"d'expansion.":[451],"Ensemble,":[452],"trois":[454],"contributions":[455],"r\u00e9pondent":[456],"principaux":[458],"d\u00e9fis":[459],":":[468],"sources":[472],"prises":[475],"isol\u00e9ment,":[476],"complexit\u00e9":[478],"inh\u00e9rente":[479],"multiples":[482],"s\u00e9mantique":[488],"propre":[489],"courtes.":[492],"Ce":[493],"travail":[494],"ouvre":[495],"ainsi":[496],"nouvelles":[498],"perspectives":[499],"affiner":[501],"pr\u00e9pare":[507],"terrain":[509],"futures":[512],"recherches":[513],"automatis\u00e9e.":[521]},"counts_by_year":[],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2026-03-24T00:00:00"}