{"id":"https://openalex.org/W6950517184","doi":"https://doi.org/10.5281/zenodo.7963094","title":"Reproduction Package for ASE 2023 Tool-Demo Submission `CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'","display_name":"Reproduction Package for ASE 2023 Tool-Demo Submission `CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'","publication_year":2023,"publication_date":"2023-05-30","ids":{"openalex":"https://openalex.org/W6950517184","doi":"https://doi.org/10.5281/zenodo.7963094"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.7963094","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7963094","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":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.7963094","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/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":true,"raw_author_name":"Beyer, Dirk","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","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/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":"Chien, Po-Chun","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0001-5139-5178","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lee, Nian-Ze","orcid":"https://orcid.org/0000-0002-8096-5595"},"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":"Lee, Nian-Ze","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8096-5595","affiliations":[{"raw_affiliation_string":"LMU Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I3018771216","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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.7897999882698059},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7597000002861023},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7214999794960022},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.6793000102043152},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5430999994277954},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5351999998092651},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5157999992370605}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8238000273704529},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.7897999882698059},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7597000002861023},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7214999794960022},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6793000102043152},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6607000231742859},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5436000227928162},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5430999994277954},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5351999998092651},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5157999992370605},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.48500001430511475},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4422000050544739},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.37299999594688416},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.37290000915527344},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.3476000130176544},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.305400013923645},{"id":"https://openalex.org/C198140048","wikidata":"https://www.wikidata.org/wiki/Q10859422","display_name":"Software versioning","level":3,"score":0.2858000099658966},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2732999920845032},{"id":"https://openalex.org/C138338577","wikidata":"https://www.wikidata.org/wiki/Q756230","display_name":"Directory service","level":3,"score":0.26969999074935913},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2671000063419342},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.26249998807907104}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.7963094","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7963094","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":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.7963094","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7963094","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":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"<strong>Abstract</strong>":[0],"This":[1,99,215],"artifact":[2,100,113],"is":[3,270,373,430,441,486,499,607,729,1000,1072],"a":[4,115,121,128,140,148,160,173,186,198,210,504,550,565,674,686,766,901,925,981,983,1069,1082],"reproduction":[5],"package":[6],"for":[7,13,125,212,258,521,530,541,850,861,873,927,970,1014,1043,1084],"the":[8,43,46,51,55,60,65,70,73,78,80,85,91,102,112,118,131,143,151,155,166,176,189,201,205,222,239,243,246,287,291,304,341,347,357,378,382,426,436,439,457,464,471,480,484,493,497,507,511,524,579,612,616,629,632,665,698,707,734,738,745,751,824,830,837,848,859,871,883,887,894,898,917,942,948,958,978,1011,1019,1040,1046,1064,1075,1086,1110],"manuscript":[9,119,244],"\u201cCPA-DF:":[10],"A":[11],"Tool":[12,25],"Configurable":[14],"Interval":[15],"Analysis":[16],"to":[17,22,89,277,289,356,376,420,506,528,562,583,627,702,749,885,889,936,945,1080,1091],"Boost":[18],"Program":[19,876],"Verification\u201d,":[20],"submitted":[21],"ASE":[23],"2023":[24],"Demonstrations":[26],"Track":[27],"(manuscript":[28],"ID:":[29],"161).":[30],"It":[31],"consists":[32],"of":[33,45,63,72,111,117,137,154,204,343,389,479,677,688,893,980,986,992,998,1066,1109],"source":[34,61,132,144],"code,":[35],"precompiled":[36,135],"binaries,":[37],"and":[38,87,93,134,169,227,234,251,391,403,535,549,575,690,694,756,868,891,906,930,974,995,1004,1016,1034,1094],"input":[39,305,580,699],"data":[40,82],"used":[41,76,181,967],"in":[42,77,165,182,230,242,254,282,295,463,470,706,841,855,957,1007,1036],"evaluation":[44,184,196],"manuscript,":[47],"as":[48,50,303,578,697],"well":[49],"results":[52,191,241,427,849,860,872],"produced":[53,192],"from":[54,84,193],"experiments.":[56,94],"Specifically,":[57],"it":[58,310,489,502,661,820],"includes":[59],"code":[62,133,145],"CPA-DF,":[64],"SV-COMP":[66,177],"\u201923":[67,178],"benchmark":[68,179,202],"suite,":[69],"binaries":[71,136,153],"software":[74,157],"verifiers":[75,158,233,534,1033],"evaluation,":[79,86],"experimental":[81,190,240,831,839],"generated":[83],"instructions":[88],"run":[90,290,421,459,584,1010,1039,1097],"tools":[92],"Demonstration":[95],"video:":[96],"https://youtu.be/l7UG-vhTL_4":[97],"<strong>Contents</strong>":[98],"contains":[101,503,847,858,870],"following":[103,223,429,569,683,899,1020,1047],"items:":[104],"<code>README.html</code>:":[105],"this":[106,296],"documentation":[107],"<code>License.txt</code>:":[108],"license":[109],"information":[110,417],"<code>CPA-DF.pdf</code>:":[114],"preprint":[116],"<code>example.c</code>:":[120],"example":[122,299,379,432,609,731],"C":[123],"programs":[124,163],"demonstration":[126],"<code>cpachecker/</code>:":[127],"directory":[129,141,149,161,174,187,199,465],"containing":[130,142,150,162,175,188,200],"CPA-DF":[138,226,250,314,325,392,404,678,689,762,1003],"<code>coveriteam/</code>:":[139],"CoVeriTeam":[146,167,237,542,543,907,1037],"<code>coveriteam/cache/</code>:":[147],"executable":[152],"evaluated":[156,292],"<code>cvt-files/</code>:":[159],"written":[164],"language":[168],"actor":[170,651,810],"definitions":[171,203],"<code>sv-benchmarks/</code>:":[172],"tasks":[180],"our":[183,194,938],"<code>paper-results/</code>:":[185],"full":[195,247,838,918,1012,1041],"<code>bench-defs/</code>:":[197],"experiments":[206,248],"(used":[207],"by":[208,451,655,814,968],"BenchExec,":[209,924],"framework":[211,926],"reliable":[213,928],"benchmarking)":[214],"readme":[216],"file":[217,472],"will":[218,965],"guide":[219,944],"you":[220,835,1078],"through":[221],"steps:":[224],"Execute":[225,232],"other":[228,252,1005],"analyses":[229,253,1006],"CPAchecker":[231,259,283,515,905,1008],"portfolios":[235,536,1035],"via":[236,537,573,692],"View":[238],"Reproduce":[245],"<strong>Execute":[249,533],"CPAchecker</strong>":[255],"System":[256,539],"requirements":[257,540],"To":[260,339,350,1009,1038],"execute":[261,571,685,1018,1045],"CPAchecker,":[262,422],"Java":[263],"Runtime":[264],"Environment":[265],"(JRE)":[266],"version":[267,546,934],"\u2265":[268,547],"17":[269],"required.":[271],"For":[272,415,557,977],"more":[273,416,531,558],"information,":[274,559],"please":[275,560,896],"refer":[276,527,561],"cpachecker/INSTALL.html.":[278],"Run":[279,564,673],"verification":[280,293,458,481],"algorithms":[281,294],"Below":[284],"we":[285,881],"list":[286],"commands":[288,300],"manuscript.":[297],"These":[298,962],"use":[301,576,695,923],"<code>example.c</code>":[302,577,696],"program.":[306,313,581,700],"You":[307],"can":[308,460,836],"replace":[309,587,709],"with":[311,315,326,405,554,589,679,711,878,900],"another":[312,585,680,704],"dynamic":[316],"precision":[317,328],"refinement":[318],"<pre><code>cpachecker/scripts/cpa.sh":[319,331,362,396,409],"-32":[320,332,363,397,410],"-spec":[321,333,364,398,411],"sv-comp-reachability":[322,334,365,399,412],"-dataFlowAnalysis":[323],"example.c</code></pre>":[324,338,368,401,414],"static":[327],"(16,":[329],"t)":[330],"-invariantGeneration":[335],"-setprop":[336],"cpa.invariants.interestingVariableLimit=16":[337],"adjust":[340],"number":[342],"important":[344],"veriables,":[345],"change":[346],"parameter":[348],"<code>cpa.invariants.interestingVariableLimit</code>":[349],"disable":[351],"widening,":[352],"add":[353],"<code>-setprop":[354],"cpa.invariants.abstractionStateFactory=NEVER</code>":[355],"command":[358,570,684],"Plain":[359],"<em>k</em>-induction":[360,390,402],"(KI)":[361],"-config":[366],"cpachecker/config/components/kInduction/kInduction.properties":[367],"Note":[369],"that":[370,622,744,757],"KI":[371],"alone":[372],"not":[374,491,625,663,822],"able":[375,626,748],"verify":[377,628],"program":[380,485,498,630,752],"within":[381,631],"time":[383,634],"limit":[384,985],"(15":[385],"min)":[386],"Parallel":[387],"portfolio":[388,676,687,746],"(KI":[393],"||":[394],"DF)":[395],"-kInduction-dfInvariants300s-noCoop":[400],"invariant":[406],"injection":[407],"(KI\u2190DF)":[408],"-kInduction-dfInvariants300s":[413],"on":[418,435,611,733,1074],"how":[419,1079],"see":[423],"cpachcker/README.html.":[424],"Understand":[425],"The":[428,568,619,650,682,741,809,953],"an":[431,518,608,730,1067],"output":[433,610,732],"shown":[434,1073],"console":[437,613,735,1076],"after":[438,614,736],"analysis":[440,512],"finished.":[442],"<pre><code>[...redacted...]":[443,1088],"Verification":[444,877],"result:":[445,482],"TRUE.":[446],"No":[447],"property":[448,495,509],"violation":[449,505],"found":[450,462,765],"chosen":[452],"configuration.":[453],"More":[454],"details":[455],"about":[456],"be":[461,966],"\"./output\".":[466],"Graphical":[467],"representation":[468],"included":[469],"\"./output/Report.html\".</code></pre>":[473],"There":[474],"are":[475,955],"3":[476,842,913],"possible":[477],"outcomes":[478],"<code>TRUE</code>:":[483],"\u201csafe\u201d,":[487],"i.e.,":[488,501],"does":[490],"violate":[492],"given":[494,508],"<code>FALSE</code>:":[496],"\u201cunsafe\u201d,":[500],"<code>UNKNOWN</code>:":[510],"was":[513,624,653,747,759,812],"inconclusive":[514],"also":[516],"generates":[517],"HTML":[519,843,1093],"report":[520,840],"conveniently":[522],"browsing":[523,1085],"results.":[525,1087],"Please":[526,940],"<code>cpachecker/doc/Report.html</code>":[529],"information.":[532],"CoVeriTeam</strong>":[538],"requires":[544],"Python":[545],"3.7":[548],"Linux-based":[551],"operating":[552],"system":[553],"Cgroups":[555],"v1.":[556],"coveriteam/README.html.":[563],"single":[566],"verifier":[567,681,705],"Symbiotic":[572,623,691,758],"CoVeriteam":[574,693],"<pre><code>#":[582,701],"verifier,":[586],"\"symbiotic\"":[588,710],"\"esbmc\"":[590,712],"or":[591,713],"\"uautomizer\"":[592,714],"coveriteam/bin/coveriteam":[593,715],"--cache-dir":[594,716],"./coveriteam/cache":[595,717],"--no-cache-update":[596,718],"cvt-files/programs/verifier.cvt":[597],"--input":[598,600,602,604,720,722,724,726],"verifier_path=cvt-files/actors/symbiotic-base.yml":[599],"data_model=ILP32":[601,723],"specification_path=sv-benchmarks/c/properties/unreach-call.prp":[603,725],"program_path=example.c</code></pre>":[605,727],"Here":[606,728,880],"running":[615,737],"above":[617,739],"command.":[618,740,1021,1048],"message":[620,742,1071],"says":[621],"CPU":[633,988,993],"limit.":[635],"<pre><code>Verifier":[636],"::":[637,639,769,778,780,789,791],"symbiotic-svcomp23":[638,652,790,811],"{'program':":[640,770,781,792],"'Program',":[641,771,782,793],"'spec':":[642,772,783,794],"'Specification'}":[643,773,784,795],"--&gt;":[644,774,785,796],"{'verdict':":[645,668,775,786,797,827],"'Verdict'}":[646,776,787,798],"2023-05-25":[647,799,806],"15:33:58":[648],"WARNING":[649,801,808],"terminated":[654,760,813],"BenchExec.":[656,815],"Termination":[657,816],"reason:":[658,817],"cputime-soft.":[659],"Possibly":[660,819],"did":[662,821],"produce":[664,823],"expected":[666,825],"result.":[667,826],"'KILLED":[669],"(signal":[670],"15,":[671],"verification)'}</code></pre>":[672],"parallel":[675],"include":[703],"portfolio,":[708],"cvt-files/programs/portfolio.cvt":[719],"verifier_path=cvt-files/actors/symbiotic-par2.yml":[721],"shows":[743],"prove":[750],"correct":[753],"(<code>{'verdict':":[754],"'true'}</code>),":[755],"because":[761],"had":[763],"already":[764],"proof.":[767],"<pre><code>PORTFOLIO":[768],"Verifier":[777,788],"cpachecker-local":[779],"15:55:20":[800],"Killing":[802],"process":[803],"115457":[804],"forcefully.":[805],"15:55:21":[807],"killed.":[818],"'true'}</code></pre>":[828],"<strong>View":[829],"results</strong>":[832],"In":[833,1089],"<code>paper-results/</code>,":[834],"tables,":[844,1096],"where":[845],"<code>paper-results/cpachecker/results-df.table.html</code>":[846],"RQ1":[851,1015],"\u201cDynamic":[852],"Precision":[853],"Adjustment":[854],"CPA-DF\u201d,":[856],"<code>paper-results/cpachecker/results-ki.table.html</code>":[857],"RQ2":[862],"\u201cParallel":[863],"Portfolio":[864],"versus":[865],"Invariant":[866],"Injection\u201d,":[867],"<code>paper-results/coveriteam/results-boosting.table.html</code>":[869],"RQ3":[874],"\u201cBoosting":[875],"CPA-DF\u201d.":[879],"provide":[882],"links":[884],"view":[886],"corresponding":[888],"tables":[890,1062],"figures":[892],"paper,":[895],"open":[897],"browser:":[902],"Table":[903],"I:":[904],"Figure":[908,910,912,914],"1":[909],"2":[911],"4":[915,987],"<strong>Reproduce":[916],"experiments</strong>":[919],"Install":[920],"BenchExec":[921,969],"We":[922],"benchmarking":[929,949],"resource":[931,984],"measurements,":[932],"at":[933],"3.16,":[935],"perform":[937],"evaluation.":[939],"follow":[941],"installation":[943],"set":[946],"up":[947],"environment.":[950],"Experimental":[951],"Settings":[952],"settings":[954],"described":[956],"XML":[959,963],"files":[960,964],"<code>bench-defs/*.xml</code>.":[961],"limiting":[971],"computing":[972],"resources":[973],"scheduling":[975],"runs.":[976],"execution":[979,1065],"task,":[982],"cores,":[989],"900":[990],"seconds":[991],"time,":[994],"15":[996],"GB":[997],"memory":[999],"imposed.":[1001],"Benchmarking":[1002,1032],"experiment":[1013,1042],"RQ2,":[1017],"<pre><code>benchexec":[1022,1049],"bench-defs/cpachecker.xml":[1023],"--tool-directory":[1024,1051],"cpachecker/":[1025],"--read-only-dir":[1026,1053],"/":[1027,1054],"--overlay-dir":[1028,1055],".":[1029,1056],"--hidden-dir":[1030,1057],"/home/</code></pre>":[1031],"RQ3,":[1044],"bench-defs/coveriteam.xml":[1050],"coveriteam/":[1052],"/home/":[1058],"--full-access-dir":[1059],"/sys/fs/cgroup/</code></pre>":[1060],"Generating":[1061],"After":[1063],"experiment,":[1068],"help":[1070],"telling":[1077],"generate":[1081],"table":[1083],"order":[1090],"get":[1092],"CSV":[1095],"table-generator":[1098],"results/coveriteam.2023-05-25_16-56-37.results.esbmc.xml.bz2":[1099],"results/coveriteam.2023-05-25_16-56-37.results.esbmc-df.xml.bz2":[1100],"results/coveriteam.2023-05-25_16-56-37.results.symbiotic.xml.bz2":[1101],"results/coveriteam.2023-05-25_16-56-37.results.symbiotic-df.xml.bz2":[1102],"results/coveriteam.2023-05-25_16-56-37.results.uautomizer.xml.bz2":[1103],"results/coveriteam.2023-05-25_16-56-37.results.uautomizer-df.xml.bz2</code></pre>":[1104],"<strong>Known":[1105],"Issues</strong>":[1106],"Known":[1107],"issues":[1108],"artif":[1111]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}