{"id":"https://openalex.org/W6968790834","doi":"https://doi.org/10.5281/zenodo.7353639","title":"Reproduction Package for Submission `FaultY: A Framework for Managing Fault Candidates'","display_name":"Reproduction Package for Submission `FaultY: A Framework for Managing Fault Candidates'","publication_year":2022,"publication_date":"2022-11-24","ids":{"openalex":"https://openalex.org/W6968790834","doi":"https://doi.org/10.5281/zenodo.7353639"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7353639","is_oa":true,"landing_page_url":"https://zenodo.org/record/7353639","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7353639","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":"last","author":{"id":null,"display_name":"Kettl, Matthias","orcid":"https://orcid.org/0000-0001-7365-5030"},"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":"Kettl, Matthias","raw_affiliation_strings":["LMU Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7365-5030","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":2,"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/json","display_name":"JSON","score":0.617900013923645},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6037999987602234},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.5241000056266785},{"id":"https://openalex.org/keywords/password","display_name":"Password","score":0.4909000098705292},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.41119998693466187},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.39340001344680786},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.36890000104904175},{"id":"https://openalex.org/keywords/reboot","display_name":"Reboot","score":0.3456999957561493}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8008999824523926},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6832000017166138},{"id":"https://openalex.org/C2780416260","wikidata":"https://www.wikidata.org/wiki/Q2063","display_name":"JSON","level":2,"score":0.617900013923645},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6037999987602234},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.5241000056266785},{"id":"https://openalex.org/C109297577","wikidata":"https://www.wikidata.org/wiki/Q161157","display_name":"Password","level":2,"score":0.4909000098705292},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.41119998693466187},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.39340001344680786},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.36890000104904175},{"id":"https://openalex.org/C120524526","wikidata":"https://www.wikidata.org/wiki/Q1709148","display_name":"Reboot","level":2,"score":0.3456999957561493},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.3452000021934509},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33899998664855957},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.33000001311302185},{"id":"https://openalex.org/C504728807","wikidata":"https://www.wikidata.org/wiki/Q180256","display_name":"Booting","level":2,"score":0.3190000057220459},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.30640000104904175},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.3041999936103821},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.290800005197525},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.28780001401901245},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C113324615","wikidata":"https://www.wikidata.org/wiki/Q472302","display_name":"Login","level":2,"score":0.2524999976158142},{"id":"https://openalex.org/C2778751112","wikidata":"https://www.wikidata.org/wiki/Q835016","display_name":"Window (computing)","level":2,"score":0.25209999084472656},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:7353639","is_oa":true,"landing_page_url":"https://zenodo.org/record/7353639","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.7353639","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7353639","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:7353639","is_oa":true,"landing_page_url":"https://zenodo.org/record/7353639","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6463029980659485}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"<strong>FaultY</strong>":[0],"This":[1,109,126,262,267,439,548,735],"framework":[2,133,443],"allows":[3,111],"managing":[4],"the":[5,21,27,52,132,149,155,167,170,185,202,206,219,237,288,306,318,329,351,378,387,390,423,427,430,459,465,472,475,497,516,536,539,545,558,566,569,573,579,590,594,630,643,647,667,671,682,714,718,732,738,741,745,748,753,760,763,785,790,793,796,804,810,817,839,847,851,856,869,885,910,926,930],"output":[6,186,204,311,451,653],"of":[7,14,20,29,65,118,131,157,169,181,287,296,413,467,474,506,526,568,578,642,649,662,673,740,752,798,803,850,855],"fault":[8,247,379,403,431,527,799,820,878,895],"localization":[9,380,528,879,896],"techniques.":[10,291],"The":[11,33,37,54,71,80,86,98,192,309,332,347,450,478,493,575,598,652,721,728,769,801,826,833,841,853,866],"artifact":[12,867],"consists":[13],"two":[15,171,319,434,476,772],"parts:":[16],"running":[17,136,160,742],"our":[18,129,137,442,524,582],"implementations":[19,525],"algorithms":[22],"on":[23,75,78,121,178,233,371,530,680,781,891],"some":[24,551,710],"tasks.":[25,124,532],"showcase":[26],"import":[28,51,156,242,466],"faults.":[30,468],"<strong>The":[31],"VM</strong>":[32],"username":[34],"is":[35,39,194,633,707,725,737,821,900,912,920],"<code>sosylab</code>.":[36],"password":[38,193],"<code>sosy</code>.":[40,195],"We":[41,61,357],"use":[42,236],"<code>VirtualBox":[43],"Graphical":[44],"User":[45],"Interface":[46],"Version":[47],"6.1.38_Ubuntu":[48],"r153438</code>":[49],"to":[50,90,113,187,200,217,235,241,245,251,284,304,400,421,514,522,554,561,645,659,686,783,909,915,928],"VM.":[53],"VM":[55,72,81],"runs":[56],"Ubuntu":[57],"22.04":[58],"(64":[59],"bit).":[60],"recommend":[62],"8":[63,105],"GB":[64],"RAM":[66],"and":[67,93,104,153,183,249,324,432,436,463,508,695,795,808],"2":[68],"CPU":[69,699],"cores.":[70],"uses":[73,82],"cpachecker":[74,353,499,899,903,924],"revision":[76],"<code>42446</code>":[77],"trunk.":[79],"benchexec":[83,674],"3.15-dev.":[84],"<strong>Files</strong>":[85],"Desktop":[87],"contains":[88,101,128,166,361,458,471,771],"symlinks":[89],"4":[91,102],"files":[92,320],"1":[94],"directory":[95,146],"called":[96],"<code>faulty</code>.":[97],"folder":[99],"<code>faulty</code>":[100],"directories":[103],"files.":[106,172,477],"Directories":[107],"<code>benchexec</code>:":[108],"tool":[110,120,127],"us":[112],"execute":[114,305,515],"a":[115,119,179,230,253,276,362,402,504,563,824,876,893],"certain":[116],"configuration":[117,177],"multiple":[122],"input":[123],"<code>cpachecker</code>:":[125],"implementation":[130],"<code>results</code>:":[134],"After":[135],"scripts,":[138],"all":[139,211,609,617,859],"results":[140,540],"will":[141,655,730],"be":[142,313,445,453,542,587,657,757,882],"shown":[143],"in":[144,162,315,355,455,501,544,581,589,620,629,744,759,898,904],"this":[145,916],"<code>compare</code>:":[147],"Contains":[148,229],"JSON":[150,391,460,509,583,754],"file":[151,461,733,736],"before":[152,462],"after":[154,464,815,925],"faults":[158,570,580],"when":[159],"<code>import.sh</code>":[161],"<code>cpachecker/</code>.":[163],"Additionally,":[164,469],"it":[165,470,665,691],"diff":[168,473],"Files:":[173],"<code>execute_full_run.sh</code>:":[174],"Runs":[175],"every":[176],"subset":[180],"programs":[182],"copies":[184],"<code>results/</code>.":[188],"Requires":[189,225],"root":[190,226],"access.":[191,227],"<code>extract.py</code>:":[196],"Used":[197,216],"by":[198,404,447],"<code>execute.sh</code>":[199],"extract":[201],"relevant":[203],"from":[205,518],"benchmark":[207],"runs.":[208],"<code>packages.txt</code>:":[209],"Lists":[210],"packages":[212],"we":[213,676],"installed.":[214],"<code>setup.py</code>:":[215],"provide":[218],"correct":[220],"access":[221,919],"rights":[222],"for":[223,335,393,481,692,723,766,868,922],"benchexec.":[224],"<code>Tutorial.md</code>:":[228],"full":[231,889],"tutorial":[232,890,911],"how":[234,240,244,250,441,782,875],"framework.":[238],"Learn":[239],"faults,":[243],"run":[246,285,422,523,729],"localization,":[248],"implement":[252],"new":[254,877,894],"algorithm.":[255],"<code>Tutorial.html</code>:":[256],"<code>Tutorial.md</code>":[257],"but":[258,269],"as":[259,270,535,636,664,675,813,823],"HTML.":[260,271],"<code>ReadMe.md</code>:":[261],"file.":[263,917],"Location:":[264,272],"<code>~/faulty/ReadMe.md</code>":[265],"<code>ReadMe.html</code>:":[266],"file,":[268],"<code>~/faulty/ReadMe.html</code>":[273],"Instructions":[274],"<strong>Generate":[275,389,503],"Single":[277],"Report</strong>":[278],"Run":[279,395],"<code>./run.sh":[280,407],"&lt;fl&gt;</code>":[281,397],"within":[282,398,902],"<code>cpachecker/</code>":[283,399],"one":[286,295,412],"implemented":[289],"fault-localization":[290],"Replace":[292,409],"<code>&lt;fl&gt;</code>":[293,410],"with":[294,411,611,774],"<code>errinv,":[297,414],"maxsat,":[298,415],"maxsatorg,":[299,416],"distanceMetric,":[300,417],"tarantula,":[301,418],"ochiai,":[302,419],"dstar</code>":[303,420],"respective":[307,424],"configuration.":[308,425],"complete":[310],"can":[312,444,452,541,585,756,881],"found":[314,454,543,588,758],"<code>cpachecker/output/</code>.":[316],"Here,":[317],"<code>Counterexample.2.html</code>":[321,360],"(visualized":[322],"report)":[323],"<code>faultlocalization.json</code>":[325],"(our":[326],"format)":[327],"are":[328,367,806],"most":[330],"relevant.":[331],"recommended":[333,479,599],"workflow":[334,480,600],"ErrorInvariants":[336,482],"(errinv)":[337,483],"is:":[338,484,601],"<pre><code>cd":[339,485,602],"~/faulty/cpachecker":[340,486],"./run.sh":[341],"errinv":[342,488],"open":[343],"~/faulty/cpachecker/output/Counterexample.2.html":[344],"gedit":[345,489,622],"~/faulty/cpachecker/output/faultlocalization.json</code></pre>":[346],"command":[348],"also":[349,495,586,726],"prints":[350,496],"executed":[352,498],"commands":[354,500],"red.":[356,369,502],"expect":[358],"that":[359,625,637],"counterexample,":[363],"where":[364],"error-prone":[365],"statements":[366],"marked":[368],"Clicking":[370,776],"<code>Change":[372,787],"view</code>":[373,788],"displays":[374],"more":[375,383,767],"details":[376],"about":[377],"run.":[381],"For":[382],"information,":[384],"see":[385,874],"\u201cInterpret":[386],"Data\u201d":[388],"File":[392],"Imports</strong>":[394],"<code>./import.sh":[396],"export":[401],"internally":[405],"calling":[406],"&lt;fl&gt;</code>.":[408],"Afterwards,":[426],"script":[428,494,517,537],"imports":[429],"applies":[433],"rankings":[435],"an":[437,640],"explanation.":[438],"showcases":[440],"used":[446],"external":[448],"tools.":[449],"<code>compare/</code>.":[456],"It":[457],"./import.sh":[487],"~/faulty/compare/diff.diff":[490],"~/faulty/compare/export.json":[491],"~/faulty/compare/import.json</code></pre>":[492],"Set":[505],"Reports":[507],"Files</strong>":[510],"Please":[511,669],"make":[512],"sure":[513],"<code>~/faulty</code>.":[519],"Execute":[520],"<code>execute_full_run.sh</code>":[521],"techniques":[529],"predefined":[531],"As":[533],"soon":[534],"finishes,":[538],"<code>results/</code>":[546],"directory.":[547,591],"may":[549],"take":[550,562],"time":[552],"(up":[553],"15":[555],"min).":[556],"Double-click":[557],"HTML":[559,631],"pages":[560],"look":[564],"at":[565],"visualization":[567],"(cf.":[571,703],"Interpret":[572],"Data).":[574],"exported":[576,618],"version":[577],"format":[584,654,755],"They":[592],"have":[593],"same":[595,811],"base":[596],"name.":[597],"~/faulty/":[603],"./execute_full_run.sh":[604],"cd":[605],"~/faulty/results/":[606],"echo":[607,615],"\"Open":[608,616],"reports":[610],"Firefox\"":[612],"firefox":[613],"~/faulty/results/*.html":[614],"JSONs":[619],"gedit\"":[621],"~/faulty/results/*.json</code></pre>":[623],"Note":[624],"listing":[626],"<code>Current":[627],"values</code>":[628],"report":[632,739,770],"not":[634,656,678,708],"supported":[635],"would":[638],"require":[639],"analysis":[641],"program":[644],"find":[646,687],"values":[648,661],"each":[650],"variable.":[651],"extended":[658],"support":[660],"variables,":[663],"increases":[666],"complexity.":[668],"ignore":[670],"warnings":[672],"do":[677],"focus":[679],"measuring":[681],"time:":[683],"-":[684,705,720],"<code>Unable":[685],"pqos_wrapper,":[688],"please":[689],"install":[690],"cache":[693],"allocation":[694],"monitoring":[696],"if":[697],"your":[698],"supports":[700],"Intel":[701],"RDT":[702],"https://gitlab.com/sosy-lab/software/pqos-wrapper)</code>":[704],"<code>LXCFS":[706],"available,":[709],"host":[711],"information":[712,797,812],"like":[713],"uptime":[715],"leaks":[716],"into":[717],"container.</code>":[719],"<code>TIMEOUT</code>":[722],"MaxSatOrg":[724],"expected.":[727],"produce":[731],"<code>/home/sosylab/faulty/results/factorization_paper_example.maxsatorg.html</code>.":[734],"example":[743],"paper.":[746],"<strong>Interpret":[747],"Data</strong>":[749],"A":[750,888,906],"description":[751],"tutorial.":[761],"See":[762],"next":[764,914],"section":[765],"details.":[768],"buttons":[773,778],"\u2018?\u2019.":[775],"these":[777],"shows":[779,838,846],"instructions":[780],"interpret":[784],"data.":[786],"toggles":[789],"view":[791],"between":[792],"counterexample":[794],"localization.":[800],"ranks":[802],"lines":[805],"clickable":[807],"show":[809],"seen":[814],"toggling":[816],"view.":[818],"Every":[819],"displayed":[822],"card.":[825],"header":[827],"has":[828],"3":[829],"outlined":[830],"text":[831,886],"boxes.":[832],"first":[834],"number":[835,843],"(in":[836,844],"green)":[837],"rank.":[840],"second":[842],"yellow)":[845],"suspiciousness":[848],"score":[849],"fault.":[852],"contents":[854],"card":[857],"display":[858],"additional":[860],"information.":[861],"<strong>Optional":[862],"Tutorial":[863],"(Internet":[864],"required)</strong>":[865],"paper":[870],"ends":[871],"here.":[872],"To":[873],"algorithm":[880,897],"implemented,":[883],"read":[884],"below.":[887],"creating":[892],"available":[901],"<code>~/faulty/cpachecker/docs/tutorials/fault-localization</code>.":[905],"symbolic":[907],"link":[908],"provided":[913],"Internet":[918],"required":[921],"building":[923],"changes":[927],"resolve":[929],"dependencies.":[931]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}