{"id":"https://openalex.org/W6930802891","doi":"https://doi.org/10.5281/zenodo.16157915","title":"Artifact for Tool Demonstration \"HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects\" (ASE 2025)","display_name":"Artifact for Tool Demonstration \"HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects\" (ASE 2025)","publication_year":2025,"publication_date":"2025-07-19","ids":{"openalex":"https://openalex.org/W6930802891","doi":"https://doi.org/10.5281/zenodo.16157915"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.16157915","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16157915","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.16157915","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Beyer, Dirk","orcid":"https://orcid.org/0000-0003-4832-7662"},"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":true,"raw_author_name":"Beyer, Dirk","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chien, Po-Chun","orcid":"https://orcid.org/0000-0001-5139-5178"},"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":"Chien, Po-Chun","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0001-5139-5178","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Huang, Bo-Yuan","orcid":"https://orcid.org/0000-0001-7069-4069"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Huang, Bo-Yuan","raw_affiliation_strings":["Intel (United States)"],"raw_orcid":"https://orcid.org/0000-0001-7069-4069","affiliations":[{"raw_affiliation_string":"Intel (United States)","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lee, Nian-Ze","orcid":"https://orcid.org/0000-0002-8096-5595"},"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":"Lee, Nian-Ze","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen"],"raw_orcid":"https://orcid.org/0000-0002-8096-5595","affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lemberger, Thomas","orcid":"https://orcid.org/0000-0003-0291-815X"},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"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":"Lemberger, Thomas","raw_affiliation_strings":["LMU Munich"],"raw_orcid":"https://orcid.org/0000-0003-0291-815X","affiliations":[{"raw_affiliation_string":"LMU Munich","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I8204097"],"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":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.21979999542236328,"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.21979999542236328,"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/T11424","display_name":"Security and Verification in Computing","score":0.17080000042915344,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.11060000211000443,"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/container","display_name":"Container (type theory)","score":0.8090999722480774},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.6923999786376953},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6417999863624573},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5963000059127808},{"id":"https://openalex.org/keywords/header","display_name":"Header","score":0.5870000123977661},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5026000142097473},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5012999773025513},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4803999960422516}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8122000098228455},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.8090999722480774},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6923999786376953},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6417999863624573},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5963000059127808},{"id":"https://openalex.org/C48105269","wikidata":"https://www.wikidata.org/wiki/Q1141160","display_name":"Header","level":2,"score":0.5870000123977661},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5026000142097473},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5012999773025513},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4803999960422516},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4537000060081482},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.413100004196167},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3855000138282776},{"id":"https://openalex.org/C2781052500","wikidata":"https://www.wikidata.org/wiki/Q2230313","display_name":"Shell (structure)","level":2,"score":0.36320000886917114},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3418999910354614},{"id":"https://openalex.org/C10272871","wikidata":"https://www.wikidata.org/wiki/Q929972","display_name":"Software inspection","level":5,"score":0.30079999566078186},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.28780001401901245},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2694000005722046},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.260699987411499},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.25600001215934753},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.16157915","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16157915","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.16157915","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16157915","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":[{"score":0.6674432158470154,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,71,108],"artifact":[1],"contains":[2,84,110],"the":[3,7,33,41,45,77,160,178,205,223,237],"tool":[4,131],"HarnessForge":[5,203],"and":[6,17,104,151,190,213,243],"infrastructureto":[8],"create":[9],"verification":[10,136,171,221,224,241],"tasks":[11,98,137,249],"from":[12,99,167,177,236],"coreutils,":[13,100],"AWS":[14,101,208],"C":[15,102,209],"common,":[16,103],"Intel":[18,105,246],"TDX":[19,106,215,247],"Module.We":[20],"also":[21,109],"include":[22],"our":[23,111],"generated":[24,112],"task":[25,118,226],"files.":[26],"All":[27],"of":[28,37,92,135,148,162,207,219],"this":[29,38,62,164],"is":[30,261],"shipped":[31],"in":[32,61,143,252],"container":[34,46,60,83],"image":[35,47],"'HarnessForge-ASE-2025-Tool-Demo-container-image.tar'":[36],"directory.To":[39],"run":[40,66],"image:":[42,63],"1.":[43],"Load":[44],"into":[48],"your":[49],"local":[50],"registry:":[51],"```$":[52,64],"docker":[53,65],"load":[54],"-i":[55],"HarnessForge-ASE-2025-Tool-Demo-container-image.tar```":[56],"2.":[57],"Run":[58],"a":[59,73,129,155,217],"-it":[67],"--rm":[68],"registry.gitlab.com/sosy-lab/research/data/harnessforge-automatic-extraction-of-verification-tasks/harnessforge:ase25-demo":[69],"/bin/bash```":[70],"opens":[72],"bash":[74],"shell":[75],"inside":[76],"container.":[78],"##":[79,123],"Artifact":[80],"Contents":[81],"The":[82],"two":[85],"relevant":[86,187],"directories:":[87],"-":[88],"`/data/harnessforge`:":[89],"A":[90,258],"distribution":[91],"HarnessForge-":[93],"`/data/task-creation`:":[94],"Data":[95],"for":[96,138],"creating":[97],"Module.":[107],"data.":[113],"For":[114],"more":[115],"information":[116],"on":[117,239],"creation,":[119],"look":[120],"at":[121,263],"`/data/task-creation/README.md`.":[122],"Paper":[124],"Abstract":[125],"We":[126],"present":[127],"HarnessForge,":[128],"command-line":[130],"that":[132],"automatesthe":[133],"creation":[134],"industry-scale":[139],"software":[140,168,240],"projects":[141],"written":[142],"C.Industry-scale":[144],"code":[145,179,206],"bases":[146],"consist":[147],"multiple":[149],"source":[150,188],"header":[152],"files":[153],"with":[154],"complex":[156],"build":[157,165,184],"process.HarnessForge":[158],"removes":[159],"burden":[161],"handling":[163],"process":[166],"verifiersand":[169,234],"enables":[170,228],"engineers":[172],"to":[173,204,230,255],"structure":[174],"harnesses":[175],"independently":[176],"under":[180],"verification.It":[181],"automatically":[182],"derives":[183],"commands,":[185],"assembles":[186],"files,":[189],"performs":[191],"static":[192],"program":[193],"slicingto":[194],"remove":[195],"irrelevant":[196],"components.To":[197],"demonstrate":[198],"its":[199],"applicability,":[200],"we":[201],"apply":[202,231],"Common,":[210],"GNU":[211],"Coreutils,":[212],"Intel\u2019s":[214],"Module,creating":[216],"total":[218],"444":[220],"tasks.Using":[222],"community\u2019s":[225],"format":[227],"users":[229],"nearly":[232],"100":[233],"testers":[235],"competitions":[238],"(SV-COMP)":[242],"testing":[244],"(Test-Comp).The":[245],"Module":[248],"were":[250],"used":[251],"SV-COMP":[253],"2025":[254],"evaluate":[256],"verifiers.":[257],"demo":[259],"video":[260],"available":[262],"youtu.be/0WM9Lr8uV5o":[264],".":[265]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}