{"id":"https://openalex.org/W6949372590","doi":"https://doi.org/10.5281/zenodo.12532813","title":"Artifact for research regarding Ranged Program Analysis","display_name":"Artifact for research regarding Ranged Program Analysis","publication_year":2024,"publication_date":"2024-06-25","ids":{"openalex":"https://openalex.org/W6949372590","doi":"https://doi.org/10.5281/zenodo.12532813"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.12532813","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12532813","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.12532813","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Haltermann, Jan","orcid":"https://orcid.org/0000-0002-5098-0495"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Haltermann, Jan","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t Oldenburg"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t Oldenburg","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jakobs, Marie-Christine","orcid":"https://orcid.org/0000-0002-5890-4673"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jakobs, Marie-Christine","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Richter, Cedric","orcid":null},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Richter, Cedric","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t Oldenburg"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t Oldenburg","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"last","author":{"id":null,"display_name":"Wehrheim, Heike","orcid":"https://orcid.org/0000-0002-2385-7512"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wehrheim, Heike","raw_affiliation_strings":["Carl von Ossietzky Universit\u00e4t Oldenburg"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universit\u00e4t Oldenburg","institution_ids":["https://openalex.org/I129877168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I129877168"],"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.7829999923706055},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7580000162124634},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.626800000667572},{"id":"https://openalex.org/keywords/raw-data","display_name":"Raw data","score":0.6043999791145325},{"id":"https://openalex.org/keywords/macro","display_name":"Macro","score":0.5476999878883362},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4805999994277954},{"id":"https://openalex.org/keywords/path-analysis","display_name":"Path analysis (statistics)","score":0.3763999938964844}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.7829999923706055},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7580000162124634},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6765999794006348},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.626800000667572},{"id":"https://openalex.org/C132964779","wikidata":"https://www.wikidata.org/wiki/Q2110223","display_name":"Raw data","level":2,"score":0.6043999791145325},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.5476999878883362},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4805999994277954},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.3887999951839447},{"id":"https://openalex.org/C82793941","wikidata":"https://www.wikidata.org/wiki/Q1046024","display_name":"Path analysis (statistics)","level":2,"score":0.3763999938964844},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.37229999899864197},{"id":"https://openalex.org/C2777362769","wikidata":"https://www.wikidata.org/wiki/Q40056","display_name":"Computer program","level":2,"score":0.3449999988079071},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3377000093460083},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3249000012874603},{"id":"https://openalex.org/C172367668","wikidata":"https://www.wikidata.org/wiki/Q6504956","display_name":"Data visualization","level":3,"score":0.321399986743927},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3190000057220459},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2989000082015991},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28450000286102295},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.2766000032424927},{"id":"https://openalex.org/C175801342","wikidata":"https://www.wikidata.org/wiki/Q1988917","display_name":"Data analysis","level":2,"score":0.2669000029563904},{"id":"https://openalex.org/C133462117","wikidata":"https://www.wikidata.org/wiki/Q4929239","display_name":"Data collection","level":2,"score":0.2662999927997589}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.12532813","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12532813","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"dataset"}],"best_oa_location":{"id":"doi:10.5281/zenodo.12532813","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12532813","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"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":{"This":[0],"artifact":[1],"is":[2,157,205],"a":[3],"summary":[4],"of":[5,107,142,248,265,269,281,293],"data":[6,117,179,235],"regarding":[7],"ranged":[8],"program":[9,84],"analysis.":[10],"It":[11,156],"contains":[12,100,114,163,176,186,192,215,228,245,262],"the":[13,18,102,105,120,122,126,128,134,143,146,151,154,165,172,177,182,187,193,196,200,209,216,220,224,229,233,241,246,249,253,263,266,270,277],"most":[14],"important":[15],"results":[16,103,202,221,242,264],"from":[17,104,153],"following":[19],"three":[20],"papers:":[21],"-":[22,48,73,161,174,184,190,203,213,226,243,260],"Jan":[23,49,74,108],"Haltermann,":[24,50,75],"Marie-Christine":[25,51,76],"Jakobs,":[26,52,77],"Cedric":[27,53,78],"Richter,":[28,54,79],"and":[29,55,80,145,222,236],"Heike":[30,56,81],"Wehrheim.":[31,57,82],"\u201cParallel":[32,83],"Program":[33,59],"Analysis":[34,60],"via":[35,61],"Range":[36],"Splitting\u201d.":[37],"In:":[38,63,89],"Proc.":[39,64],"FASE.":[40],"Vol.":[41,66],"13991.":[42],"2023,":[43,68],"pp.":[44,69],"195\u2013219.":[45],"doi:":[46,71,95],"10.1007/978-3-031-30826-0_11.":[47],"\u201cRanged":[58],"Instrumentation\u201d.":[62],"SEFM.":[65],"14323.":[67],"145\u2013164.":[70],"10.1007/978-3-031-47115-5_9.":[72],"analysis":[85,141,268],"on":[86,130],"path":[87],"ranges\u201d.":[88],"Sci.":[90],"Comput.":[91],"Program.":[92],"238":[93],"(2024).":[94],"10.1016/j.scico.2024.103154.":[96],"More":[97],"precisely,":[98],"it":[99,113],"all":[101,115,150,164],"PhD-thesis":[106],"Haltermann.":[109],"In":[110],"more":[111],"detail,":[112],"experimental":[116],"collected":[118,180],"during":[119,181],"experiments,":[121,127],"run-configs":[123],"to":[124,132,148,170,207,218],"re-run":[125],"instructions":[129],"how":[131],"regenerate":[133],"BenchExec":[135,166,210],"tables":[136,230],"that":[137],"are":[138,237],"used":[139,238,251,283,295],"for":[140,195,239,252],"data,":[144],"scripts":[147,217],"reconstruct":[149],"findings":[152],"thesis.":[155],"structured":[158],"as":[159,274],"follows:":[160],"`configs`":[162],"run":[167],"configs":[168],"needed":[169,206],"rerun":[171],"experiments.":[173,183],"`data`":[175],"raw":[178,234],"`figures`":[185],"generated":[188,231],"figures":[189,225],"`macros`":[191],"macros":[194],"Latex":[197],"document":[198],"with":[199],"evaluation":[201,254],"`overview-table.xml`":[204],"generate":[208,223],"result":[211],"tables.":[212],"`scripts`":[214],"analyze":[219],"`tables`":[227],"using":[232],"analyzing":[240],"`used-tools`":[244],"executables":[247],"tools":[250],"(in":[255],"this":[256],"case":[257],"only":[258],"CPAchecker)":[259],"`validation_of_incorrect_results.zip`":[261],"manual":[267],"incorrect":[271],"alarms":[272],"generated,":[273],"explained":[275],"in":[276],"paper.":[278],"The":[279,289],"version":[280],"CoVeriTeam":[282],"can":[284,296],"be":[285,297],"found":[286,298],"[on":[287,299],"GitLab](https://gitlab.com/sosy-lab/software/coveriteam/-/tree/rangedAnalysis?ref_type=heads)":[288],"latest":[290],"source":[291],"code":[292],"CPAchecker":[294],"GitLab](https://gitlab.com/sosy-lab/software/cpachecker/-/tree/ranged_program_analysis)":[300]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}