{"id":"https://openalex.org/W2731856258","doi":"https://doi.org/10.4995/thesis/10251/68506","title":"Optimization Techniques for Algorithmic Debugging","display_name":"Optimization Techniques for Algorithmic Debugging","publication_year":2016,"publication_date":"2016-07-25","ids":{"openalex":"https://openalex.org/W2731856258","doi":"https://doi.org/10.4995/thesis/10251/68506","mag":"2731856258"},"language":"en","primary_location":{"id":"doi:10.4995/thesis/10251/68506","doi":"https://doi.org/10.4995/thesis/10251/68506","is_oa":true,"landing_page_url":"https://doi.org/10.4995/thesis/10251/68506","pdf_url":"https://riunet.upv.es/bitstream/10251/68506/1/Insa%20-%20Optimization%20Techniques%20for%20Algorithmic%20Debugging.pdf","source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://riunet.upv.es/bitstream/10251/68506/1/Insa%20-%20Optimization%20Techniques%20for%20Algorithmic%20Debugging.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071216572","display_name":"David Insa","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David Insa Cabrera","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5071216572"],"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.9878000020980835,"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.9878000020980835,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0035000001080334187,"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/T11269","display_name":"Algorithms and Data Compression","score":0.0010000000474974513,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithmic-debugging","display_name":"algorithmic debugging","score":0.9769999980926514},{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.43700000643730164},{"id":"https://openalex.org/keywords/optimization-methods","display_name":"optimization methods","score":0.699999988079071},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.35199999809265137},{"id":"https://openalex.org/keywords/program-visualization","display_name":"program visualization","score":0.31700000166893005},{"id":"https://openalex.org/keywords/program-verification-tools","display_name":"program verification tools","score":0.9399999976158142}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9565435647964478},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.931097149848938},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.779522180557251},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.7553611397743225},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5300319790840149},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5167519450187683},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4996213912963867},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.45375606417655945},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4331427812576294},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.4309201240539551},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4213930070400238},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4995/thesis/10251/68506","doi":"https://doi.org/10.4995/thesis/10251/68506","is_oa":true,"landing_page_url":"https://doi.org/10.4995/thesis/10251/68506","pdf_url":"https://riunet.upv.es/bitstream/10251/68506/1/Insa%20-%20Optimization%20Techniques%20for%20Algorithmic%20Debugging.pdf","source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","raw_type":"dissertation"},{"id":"pmh:oai:riunet.upv.es:10251/68506","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10251/68506","pdf_url":null,"source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:www.tdx.cat:10251/68506","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10251/68506","pdf_url":null,"source":{"id":"https://openalex.org/S4306401111","display_name":"Tesis Doctorals en Xarxa (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"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":"","raw_type":"info:eu-repo/semantics/doctoralThesis"}],"best_oa_location":{"id":"doi:10.4995/thesis/10251/68506","doi":"https://doi.org/10.4995/thesis/10251/68506","is_oa":true,"landing_page_url":"https://doi.org/10.4995/thesis/10251/68506","pdf_url":"https://riunet.upv.es/bitstream/10251/68506/1/Insa%20-%20Optimization%20Techniques%20for%20Algorithmic%20Debugging.pdf","source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2731856258.pdf","grobid_xml":"https://content.openalex.org/works/W2731856258.grobid-xml"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W6899713","https://openalex.org/W29025976","https://openalex.org/W143147171","https://openalex.org/W191345650","https://openalex.org/W241207263","https://openalex.org/W645308258","https://openalex.org/W1446179004","https://openalex.org/W1475243697","https://openalex.org/W1482473201","https://openalex.org/W1485267194","https://openalex.org/W1487472891","https://openalex.org/W1507612039","https://openalex.org/W1514468887","https://openalex.org/W1518443405","https://openalex.org/W1528649993","https://openalex.org/W1544975770","https://openalex.org/W1545986217","https://openalex.org/W1561253283","https://openalex.org/W1566436741","https://openalex.org/W1570383166","https://openalex.org/W1572801100","https://openalex.org/W1592465912","https://openalex.org/W1593962268","https://openalex.org/W1604672135","https://openalex.org/W1606209748","https://openalex.org/W1673079227","https://openalex.org/W1687655899","https://openalex.org/W1886290143","https://openalex.org/W1932722758","https://openalex.org/W1970810328","https://openalex.org/W1986072628","https://openalex.org/W2009603783","https://openalex.org/W2026237859","https://openalex.org/W2027026606","https://openalex.org/W2030284627","https://openalex.org/W2032052535","https://openalex.org/W2051659702","https://openalex.org/W2064285342","https://openalex.org/W2074715013","https://openalex.org/W2079083905","https://openalex.org/W2079552794","https://openalex.org/W2088998777","https://openalex.org/W2090182820","https://openalex.org/W2090925083","https://openalex.org/W2091580460","https://openalex.org/W2102749716","https://openalex.org/W2106180000","https://openalex.org/W2111858237","https://openalex.org/W2113996446","https://openalex.org/W2115737686","https://openalex.org/W2124141583","https://openalex.org/W2127948899","https://openalex.org/W2139554059","https://openalex.org/W2148329403","https://openalex.org/W2151170412","https://openalex.org/W2153763119","https://openalex.org/W2156018017","https://openalex.org/W2163964352","https://openalex.org/W2169508890","https://openalex.org/W2239075150","https://openalex.org/W2257597245","https://openalex.org/W2260184634","https://openalex.org/W2403826555","https://openalex.org/W3000154411","https://openalex.org/W3006425221","https://openalex.org/W3006649941","https://openalex.org/W4210650974","https://openalex.org/W4233954210","https://openalex.org/W4254849941"],"related_works":["https://openalex.org/W53287667","https://openalex.org/W7095646253","https://openalex.org/W593974556","https://openalex.org/W2494990597","https://openalex.org/W1604672135","https://openalex.org/W1560345906","https://openalex.org/W2296727798","https://openalex.org/W2944838301","https://openalex.org/W76061603","https://openalex.org/W7098192737"],"abstract_inverted_index":{"AgradecimientosCuando":[0],"termin\u00e9":[1],"la":[2,210],"carrera":[3],"tom\u00e9":[4],"una":[5,78,340],"decisi\u00f3n":[6],"que":[7,30,44,49,60,84,102,118,122,135,141,178,200,214,263,271,292,306,363,378,381],"cambiar\u00eda":[8],"el":[9,35,197],"rumbo":[10],"de":[11,42,58,72,81,225,241,267,302,361,376],"mi":[12,82,190,243,303,318],"vida,":[13,304],"decid\u00ed":[14],"convertirme":[15],"en":[16,112,177,189,217,262,270,299,338,358],"doctor.Mucho":[17],"tiempo":[18],"ha":[19,76,119,343,350,356,364,371],"pasado":[20],"desde":[21],"entonces,":[22],"y":[23,54,56,95,150,157,174,192,229,236,260,269,278,320,334,369],"no":[24,45,50,65,264,293,335],"han":[25,143,160,168,175,294,309],"sido":[26,77,185,344,351],"pocas":[27],"las":[28,130,134],"piedras":[29],"me":[31,68,159,167,201,208,322,355],"he":[32,92,96,154,163,346],"encontrado":[33],"por":[34,328],"camino:":[36],"algunas":[37],"noches":[38],"sin":[39],"dormir,":[40],"laberintos":[41],"los":[43,171,374,377],"pod\u00eda":[46,179],"salir,":[47],"trabajos":[48],"sab\u00eda":[51,66],"c\u00f3mo":[52,329],"completar,":[53],"monta\u00f1as":[55,57],"tareas":[59],"nunca":[61,382],"se":[62,109],"acababan.En":[63],"definitiva,":[64],"d\u00f3nde":[67],"estaba":[69],"metiendo.A":[70],"pesar":[71],"todo":[73,107,196,313],"ello,":[74],"esta":[75,300],"gran":[79,113],"etapa":[80,301],"vida":[83,191,211],"si":[85],"volviera":[86],"atr\u00e1s":[87],"volver\u00eda":[88],"a":[89,115,121,133,139,146,181,206,220,238,285,288,317,353],"emprender,":[90],"donde":[91],"aprendido":[93],"mucho":[94,195,279],"madurado":[97],"como":[98],"persona.No":[99],"puedo":[100],"decir":[101,125],"lo":[103,110,182,223,239,247,274],"haya":[104],"conseguido":[105],"solo,":[106],"esto":[108],"debo":[111],"medida":[114],"mucha":[116],"gente":[117],"ayudado":[120,161],"ahora":[123],"pueda":[124],"con":[126],"orgullo":[127],"soy":[128],"doctor.A":[129],"primeras":[131],"personas":[132,291],"quiero":[136],"agradec\u00e9rselo":[137],"es":[138],"aquellas":[140,290],"siempre":[142,153],"estado":[144,310],"ah\u00ed,":[145],"mis":[147,221,367],"hermanos":[148],"Javier":[149],"Natalia.Con":[151],"quienes":[152,158,207],"podido":[155],"contar,":[156],"cuando":[162,342],"tenido":[164,295],"alg\u00fan":[165],"problema.Quienes":[166],"sabido":[169,365,372],"dar":[170],"mejores":[172],"consejos":[173],"cre\u00eddo":[176],"llegar":[180],"m\u00e1s":[183],"alto.Hab\u00e9is":[184],"un":[186,296],"pilar":[187],"fundamental":[188],"os":[193,325],"agradezco":[194],"apoyo":[198],"incondicional":[199],"hab\u00e9is":[202,245,253,323,326,336],"dado.Una":[203],"especial":[204],"menci\u00f3n":[205],"dieron":[209],"e":[212],"hicieron":[213],"pudiera":[215],"vivir":[216],"este":[218,281,314,348],"mundo,":[219],"padres.Disteis":[222],"mejor":[224,248,275],"vosotros":[226],"para":[227,233,249,380],"aguantarme":[228],"soportarme,":[230],"pero":[231,305],"tambi\u00e9n":[232,287],"ense\u00f1arme,":[234],"protegerme":[235],"guiarme":[237],"largo":[240],"toda":[242],"vida.Siempre":[244],"procurado":[246],"nosotros":[250],"tres,":[251],"nos":[252,265,272,383],"dado":[254],"buenos":[255],"consejos,":[256],"pusisteis":[257],"vuestro":[258],"cuerpo":[259],"alma":[261],"faltara":[266],"nada":[268],"fuera":[273],"posible.Por":[276],"eso":[277],"m\u00e1s,":[280],"libro":[282],"va":[283],"dedicado":[284],"vosotros.Gracias":[286],"todas":[289],"impacto":[297],"directo":[298],"a\u00fan":[307],"as\u00ed":[308],"ah\u00ed":[311],"durante":[312],"tiempo.Me":[315],"refiero":[316],"familia":[319],"amigos.Siempre":[321],"apoyado,":[324],"preocupado":[327],"iban":[330],"transcurriendo":[331],"estos":[332],"a\u00f1os":[333],"dudado":[337],"echarme":[339],"mano":[341],"necesario.Si":[345],"realizado":[347],"doctorado":[349],"gracias":[352],"quien":[354],"aceptado":[357],"su":[359],"grupo":[360],"investigaci\u00f3n.Alguien":[362],"escuchar":[366],"inquietudes":[368],"necesidades.Quien":[370],"gestionar":[373],"recursos":[375],"dispon\u00edamos":[379],"faltase":[384],"nada.":[385]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2017-07-14T00:00:00"}