{"id":"https://openalex.org/W7161969780","doi":"https://doi.org/10.48550/arxiv.2605.20310","title":"Combined Program Analysis Techniques: A Systematic Mapping Study","display_name":"Combined Program Analysis Techniques: A Systematic Mapping Study","publication_year":2026,"publication_date":"2026-05-19","ids":{"openalex":"https://openalex.org/W7161969780","doi":"https://doi.org/10.48550/arxiv.2605.20310"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.20310","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.20310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.20310","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077180647","display_name":"Pietro Braione","orcid":"https://orcid.org/0000-0001-9307-6781"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Braione, Pietro","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038269238","display_name":"Giovanni Denaro","orcid":"https://orcid.org/0000-0002-7566-8051"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Denaro, Giovanni","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119030001","display_name":"Luca Gugliemo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gugliemo, Luca","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039390636","display_name":"Elson Kurian","orcid":"https://orcid.org/0000-0002-6392-0870"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kurian, Elson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136641135","display_name":"Enea Raffaele Ilario Papaleo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Papaleo, Enea Raffaele Ilario","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136647387","display_name":"Martino Tessaro","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tessaro, Martino","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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.4074999988079071,"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.4074999988079071,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.2574000060558319,"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.0714000016450882,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.7423999905586243},{"id":"https://openalex.org/keywords/taxonomy","display_name":"Taxonomy (biology)","score":0.5268999934196472},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4562000036239624},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4124000072479248},{"id":"https://openalex.org/keywords/qualitative-analysis","display_name":"Qualitative analysis","score":0.3206999897956848},{"id":"https://openalex.org/keywords/software-tool","display_name":"Software tool","score":0.2888000011444092}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7598999738693237},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7423999905586243},{"id":"https://openalex.org/C58642233","wikidata":"https://www.wikidata.org/wiki/Q8269924","display_name":"Taxonomy (biology)","level":2,"score":0.5268999934196472},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.5070000290870667},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4562000036239624},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4124000072479248},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38920000195503235},{"id":"https://openalex.org/C3018587665","wikidata":"https://www.wikidata.org/wiki/Q7268696","display_name":"Qualitative analysis","level":3,"score":0.3206999897956848},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.30160000920295715},{"id":"https://openalex.org/C2984968299","wikidata":"https://www.wikidata.org/wiki/Q1077784","display_name":"Software tool","level":3,"score":0.2888000011444092},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28279998898506165},{"id":"https://openalex.org/C189708586","wikidata":"https://www.wikidata.org/wiki/Q1504425","display_name":"Systematic review","level":3,"score":0.2702000141143799},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.257999986410141},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.2549999952316284}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.20310","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.20310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.20310","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.20310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Context.":[0],"Since":[1],"the":[2,4,20,60,74,78,151,155,168,193,196,205,220],"eighties,":[3],"combination":[5,169],"of":[6,22,59,69,76,80,101,170,181,200,207,215,222],"program":[7,65,105],"analysis":[8,66,106,171,242],"techniques":[9,90,107,128,240],"has":[10],"been":[11],"increasingly":[12],"recognized":[13],"as":[14,145],"a":[15,56,98,213],"promising":[16],"approach":[17],"to":[18,87,96,130,144,154,226],"overcome":[19],"limitations":[21],"standalone":[23],"methods.":[24],"While":[25],"individual":[26],"techniques,":[27,67,172,231],"based":[28],"on":[29,47,63,160,228,236],"either":[30],"static":[31],"or":[32],"dynamic":[33],"analysis,":[34],"address":[35],"important":[36],"challenges":[37],"in":[38,198,204],"software":[39],"dependability,":[40],"their":[41,117,131],"integration":[42],"often":[43],"yields":[44],"synergistic":[45,133,162],"effects":[46,163],"precision,":[48],"coverage":[49],"and":[50,82,103,111,137,178,189,195,202,224,232,241],"insights.":[51],"Objective.":[52],"This":[53],"paper":[54],"surveys":[55],"significant":[57],"portion":[58],"modern":[61],"literature":[62,190],"combining":[64],"consisting":[68],"248":[70],"primary":[71,152],"studies,":[72],"with":[73],"aim":[75],"cataloging":[77],"types":[79,180],"interactions":[81],"synergies":[83],"that":[84,125,217],"were":[85],"exploited":[86],"define":[88],"combined-program-analysis":[89,127,208,230,239],"so":[91],"far.":[92],"The":[93],"goal":[94],"is":[95],"provide":[97,212],"structured":[99],"understanding":[100],"why":[102],"how":[104],"can":[108,114,218],"be":[109],"conjoined,":[110],"which":[112,141,161,173,179],"benefits":[113],"arise":[115],"from":[116],"interactions.":[118],"Method.":[119],"We":[120,148],"devise":[121],"an":[122],"original":[123],"taxonomy":[124,188],"classifies":[126],"according":[129],"aimed":[132],"effects,":[134],"inter-analysis":[135,174],"workflows":[136,175],"interaction":[138],"schemata":[139],"(to":[140],"we":[142,211],"refer":[143],"mapping":[146,182,191],"functions).":[147],"then":[149],"map":[150],"studies":[153,165],"taxonomy,":[156],"answering":[157],"research":[158,235],"questions":[159],"those":[164],"pursued":[166],"via":[167],"they":[176,184],"embodied,":[177],"functions":[183],"exploited.":[185],"Conclusion.":[186],"Our":[187],"reveal":[192],"commonalities":[194],"differences,":[197],"terms":[199],"goals":[201],"patterns,":[203],"design":[206],"techniques.":[209],"Thereby":[210],"framework":[214],"concepts":[216],"foster":[219],"ability":[221],"researchers":[223],"practitioners":[225],"reason":[227],"existing":[229],"steer":[233],"further":[234],"new":[237],"useful":[238],"frameworks.":[243]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-22T00:00:00"}