{"id":"https://openalex.org/W6929853059","doi":"https://doi.org/10.5281/zenodo.10683011","title":"Abstraction-Aware Inference of Metamorphic Relations (Replication Package)","display_name":"Abstraction-Aware Inference of Metamorphic Relations (Replication Package)","publication_year":2024,"publication_date":"2024-02-20","ids":{"openalex":"https://openalex.org/W6929853059","doi":"https://doi.org/10.5281/zenodo.10683011"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.10683011","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10683011","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":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.10683011","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Nolasco, Agustin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nolasco, Agustin","raw_affiliation_strings":["University of Rio Cuarto"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Rio Cuarto","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Molina, Facundo","orcid":"https://orcid.org/0000-0002-2441-1555"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Molina, Facundo","raw_affiliation_strings":["IMDEA Software"],"raw_orcid":"https://orcid.org/0000-0002-2441-1555","affiliations":[{"raw_affiliation_string":"IMDEA Software","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Degiovanni, Renzo","orcid":"https://orcid.org/0000-0003-1611-3969"},"institutions":[{"id":"https://openalex.org/I4210112527","display_name":"Luxembourg Institute of Science and Technology","ror":"https://ror.org/01t178j62","country_code":"LU","type":"nonprofit","lineage":["https://openalex.org/I4210112527"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Degiovanni, Renzo","raw_affiliation_strings":["Luxembourg Institute of Science and Technology"],"raw_orcid":"https://orcid.org/0000-0003-1611-3969","affiliations":[{"raw_affiliation_string":"Luxembourg Institute of Science and Technology","institution_ids":["https://openalex.org/I4210112527"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Gorla, Alessandra","orcid":"https://orcid.org/0000-0002-6711-3080"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Gorla, Alessandra","raw_affiliation_strings":["IMDEA Software"],"raw_orcid":"https://orcid.org/0000-0002-6711-3080","affiliations":[{"raw_affiliation_string":"IMDEA Software","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Garbervetsky, Diego","orcid":"https://orcid.org/0000-0003-4180-7196"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Garbervetsky, Diego","raw_affiliation_strings":["University of Buenos Aires"],"raw_orcid":"https://orcid.org/0000-0003-4180-7196","affiliations":[{"raw_affiliation_string":"University of Buenos Aires","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Papadakis, Mike","orcid":"https://orcid.org/0000-0003-1852-2547"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Papadakis, Mike","raw_affiliation_strings":["University of Luxembourg"],"raw_orcid":"https://orcid.org/0000-0003-1852-2547","affiliations":[{"raw_affiliation_string":"University of Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Uchitel, Sebastian","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["AR","GB"],"is_corresponding":false,"raw_author_name":"Uchitel, Sebastian","raw_affiliation_strings":["Imperial College London","University of Buenos Aires"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"University of Buenos Aires","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Aguirre, Nazareno","orcid":"https://orcid.org/0000-0003-0532-5296"},"institutions":[{"id":"https://openalex.org/I4210128307","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - Tucum\u00e1n","ror":"https://ror.org/03w8cva37","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4210128307","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Aguirre, Nazareno","raw_affiliation_strings":["University of Rio Cuarto","CONICET"],"raw_orcid":"https://orcid.org/0000-0003-0532-5296","affiliations":[{"raw_affiliation_string":"University of Rio Cuarto","institution_ids":[]},{"raw_affiliation_string":"CONICET","institution_ids":["https://openalex.org/I4210128307"]}]},{"author_position":"last","author":{"id":null,"display_name":"Frias, Marcelo F.","orcid":"https://orcid.org/0000-0002-5592-1355"},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Frias, Marcelo F.","raw_affiliation_strings":["The University of Texas at El Paso"],"raw_orcid":"https://orcid.org/0000-0002-5592-1355","affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso","institution_ids":["https://openalex.org/I164936912"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":7,"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":true,"primary_topic":{"id":"https://openalex.org/T13381","display_name":"Heart rate and cardiovascular health","score":0.44269999861717224,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T13381","display_name":"Heart rate and cardiovascular health","score":0.44269999861717224,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10745","display_name":"Heart Rate Variability and Autonomic Control","score":0.38359999656677246,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10144","display_name":"Blood Pressure and Hypertension Studies","score":0.01140000019222498,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6159999966621399},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5910999774932861},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.534500002861023},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5184000134468079},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.499099999666214},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4961000084877014},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4941999912261963}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.708899974822998},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6646999716758728},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6159999966621399},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5910999774932861},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.534500002861023},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5184000134468079},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.499099999666214},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4961000084877014},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4941999912261963},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.37610000371932983},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.36570000648498535},{"id":"https://openalex.org/C44280652","wikidata":"https://www.wikidata.org/wiki/Q104837","display_name":"Phase (matter)","level":2,"score":0.36419999599456787},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.3303999900817871},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3149999976158142},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2969000041484833},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.29580000042915344},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2930000126361847},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.27410000562667847},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2732999920845032},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25459998846054077},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.10683011","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10683011","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":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.10683011","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10683011","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":"Software"},"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":{"Replication":[0],"package":[1],"for":[2,31,194,353,443],"the":[3,34,38,48,61,67,70,75,79,92,96,101,107,121,125,131,149,160,166,173,176,203,208,225,249,265,282,285,290,299,306,325,334,341,348,351,359,362,379,382,386,389,392,403,419,429,441,444,460],"paper:":[4],"Abstraction-Aware":[5],"Inference":[6],"of":[7,40,63,69,74,78,83,91,95,100,120,124,133,199,284,328,350,381,391,407,446,448,462],"Metamorphic":[8],"Relations.":[9],"Agustin":[10],"Nolasco,":[11],"Facundo":[12],"Molina,":[13],"Renzo":[14],"Degiovanni,":[15],"Alessandra":[16],"Gorla,":[17],"Diego":[18],"Garbervetsky,":[19],"Mike":[20],"Papadakis,":[21],"Sebastian":[22],"Uchitel,":[23],"Nazareno":[24],"Aguirre,":[25],"and":[26,87,116,151,168,175,385,412],"Marcelo":[27],"F.":[28],"Frias.":[29],"Accepted":[30],"presentation":[32],"at":[33,281],"ACM":[35],"International":[36],"Conferenceon":[37],"Foundations":[39],"Software":[41],"Engineering":[42],"(FSE":[43],"2024)":[44],"Getting":[45],"started":[46],"Uncompress":[47],"downloaded":[49],"file":[50,162],"in":[51,66,113,224,235,268,337,361,373,399,418,428,457],"your":[52],"working":[53],"directory.":[54],"You":[55],"will":[56,157,170,218,263,273,288,323,438],"see":[57,274],"four":[58],"folders:":[59],"epa-benchmark-subjects:":[60],"set":[62,132,327],"subjects":[64,174,453,461],"used":[65],"evaluation":[68],"technique.":[71],"metamorphic-relations-inference:":[72],"implementation":[73,90,119],"1st":[76],"phase":[77,94,123],"technique":[80,97,115,126,409],"(candidate":[81],"generation":[82],"MRs":[84],"using":[85,413],"fuzzing":[86],"EPAs).":[88],"randoop-mr-inference:":[89],"2nd":[93],"(run-time":[98],"checking":[99],"candidate":[102,279],"MRs.":[103,356],"This":[104,217,345,437],"also":[105,169],"includes":[106],"code":[108],"to":[109,129,164,237,401],"perform":[110],"mutation":[111,397],"analysis":[112,398],"our":[114,200,338,408],"SBES).":[117],"alloy-mr-reducer:":[118],"last":[122,303],"(using":[127],"SAT":[128],"reduce":[130],"\"valid\"":[134],"MRs).":[135],"Requirements":[136],"Java":[137],"1.8":[138],"Gradle":[139],"Python3":[140],"(make":[141],"sure":[142],"you":[143,189,262,272,287,322],"have":[144],"installed":[145],"pandas)":[146],"Installation":[147],"Install":[148],"requirements":[150],"run:":[152,211,252,315,365,432],"$":[153,212,253,316,366,433,469],"./setup.sh":[154],"this":[155,260,426],"script":[156],"automatically":[158],"generate":[159],"init_env.sh":[161],"(needed":[163],"run":[165,259,466],"experiments),":[167],"compile":[171],"all":[172],"three-steps":[177],"tool":[178],"(EPA-Aware":[179],"fuzzing,":[180],"dynamic":[181],"analysis,":[182],"SAT-reduction).":[183],"A":[184],"Running":[185],"Example":[186],"Once":[187],"installed,":[188],"can":[190,370,454],"infer":[191],"metamorphic":[192,221,291,329],"relations":[193,292],"MyBoundedStack":[195,215,256,318,436,447],"class":[196],"(motivating":[197],"example":[198],"paper)":[201],"running":[202],"following":[204,231],"commands:":[205],"1.":[206],"From":[207],"metamorphic-relations-inference":[209],"folder":[210,227,251],"./fuzz.sh":[213],"EPA":[214,255,435],"1000":[216,257,319],"produce":[219],"EPA-Aware":[220],"relation":[222],"candidates":[223,241],"output":[226,267,369],"metamorphic-relations-inference/output.":[228],"2.":[229],"The":[230,302,368,451],"step":[232,304],"uses":[233],"Randoop":[234],"order":[236,400],"check":[238],"whether":[239],"de":[240],"are":[242],"valid":[243],"properties.":[244],"To":[245,309,332,357,424],"do":[246],"so,":[247],"inside":[248,313],"randoop-mr-inference":[250],"./validate.sh":[254],"After":[258],"command":[261],"find":[264,289,324],"detailed":[266],"randoop-mr-inference/output/MyBoundedStack/":[269],"allow_epa_loops_true/EPA_AWARE/1000/log.txt.":[270],"There":[271],"what":[275],"happened":[276],"with":[277,388,422],"each":[278],"and,":[280],"end":[283],"file,":[286],"that":[293,459],"could":[294],"not":[295],"be":[296,371,455,465],"invalidated":[297],"by":[298],"process.":[300],"3.":[301,450],"is":[305],"SAT-based":[307,383],"reduction.":[308],"execute":[310],"it":[311],",":[312],"alloy-mr-reducer":[314],"./reduce.sh":[317],"In":[320],"alloy-mr-reducer/output/MyBoundedStack/allow_epa_loops_true/EPA_AWARE/1000/mrs.txt":[321],"reduced":[326],"relations.":[330],"Experiments":[331],"reproduce":[333,358,425],"experiments":[335],"performed":[336],"paper,":[339],"follow":[340],"instructions":[342],"below:":[343],"RQ1":[344],"RQ":[346],"analyses":[347],"effectiveness":[349],"EPAs":[352],"discarding":[354],"invalid":[355],"experiment,":[360],"root":[363,430],"directory,":[364,431],"./experiment-rq1.sh":[367],"found":[372,456],"metamorphic-relations-inference/output/epa_filter_analysis_result.csv":[374],"RQ2":[375],"&":[376],"RQ3":[377],"For":[378],"assessment":[380],"reduction":[384,411],"comparison":[387],"state":[390],"art":[393],"(SBES),":[394],"we":[395,416],"use":[396],"quantify":[402],"fault":[404],"detection":[405],"capabilities":[406],"without":[410],"it.":[414],"Finally":[415],"compare":[417],"same":[420],"way":[421],"SBES.":[423],"experiments,":[427],"./experiment-rq2-3.sh":[434,470],"only":[439],"compute":[440],"results":[442],"row":[445],"Table":[449],"other":[452],"epa-benchmark-subjects/subjects/.Note":[458],"SBES":[463,471],"must":[464],"as":[467],"follow:":[468],"Stack":[472]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}