{"id":"https://openalex.org/W1998874662","doi":"https://doi.org/10.1145/2635868.2635888","title":"Search-based synthesis of equivalent method sequences","display_name":"Search-based synthesis of equivalent method sequences","publication_year":2014,"publication_date":"2014-11-04","ids":{"openalex":"https://openalex.org/W1998874662","doi":"https://doi.org/10.1145/2635868.2635888","mag":"1998874662"},"language":"en","primary_location":{"id":"doi:10.1145/2635868.2635888","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2635868.2635888","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103421530","display_name":"Alberto Goffi","orcid":null},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Alberto Goffi","raw_affiliation_strings":["University of Lugano, Switzerland","University of Lugano, Switzerland#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"University of Lugano, Switzerland#TAB#","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051928160","display_name":"Alessandra Gorla","orcid":"https://orcid.org/0000-0002-6711-3080"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alessandra Gorla","raw_affiliation_strings":["Saarland University, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006626837","display_name":"Andrea Mattavelli","orcid":null},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Andrea Mattavelli","raw_affiliation_strings":["University of Lugano, Switzerland","University of Lugano, Switzerland#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"University of Lugano, Switzerland#TAB#","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066540482","display_name":"Mauro Pezz\u00e8","orcid":"https://orcid.org/0000-0001-5193-7379"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Mauro Pezz\u00e8","raw_affiliation_strings":["University of Lugano, Switzerland","University of Lugano, Switzerland#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"University of Lugano, Switzerland#TAB#","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025438762","display_name":"Paolo Tonella","orcid":"https://orcid.org/0000-0003-3088-0339"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Tonella","raw_affiliation_strings":["Fondazione Bruno Kessler, Italy"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Italy","institution_ids":["https://openalex.org/I2277624104"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5103421530"],"corresponding_institution_ids":["https://openalex.org/I57201433"],"apc_list":null,"apc_paid":null,"fwci":5.6779,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.9575061,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"366","last_page":"376"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":1.0,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.8513609766960144},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7624931335449219},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6529589891433716},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.6234411001205444},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.6146515607833862},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4699084162712097},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.45555245876312256},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45477837324142456},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.4226870834827423},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.41657760739326477},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38566023111343384},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36934107542037964},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19928181171417236},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1757391095161438},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.1446111500263214}],"concepts":[{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.8513609766960144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7624931335449219},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6529589891433716},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.6234411001205444},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.6146515607833862},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4699084162712097},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.45555245876312256},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45477837324142456},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.4226870834827423},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.41657760739326477},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38566023111343384},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36934107542037964},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19928181171417236},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1757391095161438},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1446111500263214},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2635868.2635888","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2635868.2635888","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6399999856948853,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1533857697","https://openalex.org/W1589421353","https://openalex.org/W1965194038","https://openalex.org/W1971650562","https://openalex.org/W1983981400","https://openalex.org/W1984074188","https://openalex.org/W1993509980","https://openalex.org/W1993760289","https://openalex.org/W2007777090","https://openalex.org/W2018950397","https://openalex.org/W2026701697","https://openalex.org/W2064232673","https://openalex.org/W2082274331","https://openalex.org/W2098523262","https://openalex.org/W2103552788","https://openalex.org/W2105452745","https://openalex.org/W2107399969","https://openalex.org/W2114503684","https://openalex.org/W2114869486","https://openalex.org/W2125260159","https://openalex.org/W2129942570","https://openalex.org/W2136099030","https://openalex.org/W2136189469","https://openalex.org/W2136363516","https://openalex.org/W2142973056","https://openalex.org/W2146136779","https://openalex.org/W2146178292","https://openalex.org/W2151674625","https://openalex.org/W2157083801","https://openalex.org/W2293616642","https://openalex.org/W3105309919","https://openalex.org/W3106729728","https://openalex.org/W3141181691","https://openalex.org/W4388727850","https://openalex.org/W6656867387","https://openalex.org/W7032949275"],"related_works":["https://openalex.org/W1557094818","https://openalex.org/W2183246718","https://openalex.org/W2099261052","https://openalex.org/W3209204065","https://openalex.org/W4388311650","https://openalex.org/W2140734022","https://openalex.org/W1911878188","https://openalex.org/W3145773044","https://openalex.org/W262143401","https://openalex.org/W2141411717"],"abstract_inverted_index":{"Software":[0],"components":[1],"are":[2,12,43,98,137],"usually":[3],"redundant,":[4],"since":[5],"their":[6,15],"interface":[7],"offers":[8],"different":[9],"operations":[10,41,66,96],"that":[11,42,83,92,97,136,161],"equivalent":[13,47,102,138,167],"in":[14,30,52,67,103,110,170],"functional":[16],"behavior.":[17],"Several":[18],"reliability":[19],"techniques":[20,63],"exploit":[21],"this":[22,115],"redundancy":[23,85,177],"to":[24,45,70,100,130,139,180],"either":[25],"detect":[26],"or":[27],"tolerate":[28],"faults":[29,51],"software.":[31],"Metamorphic":[32],"testing,":[33],"for":[34],"instance,":[35],"executes":[36],"pairs":[37],"of":[38,40,54,78,95,133,147,173],"sequences":[39,132,169],"expected":[44],"produce":[46],"results,":[48],"and":[49,61,121],"identifies":[50,166],"case":[53],"mismatching":[55],"outcomes.":[56],"Some":[57],"popular":[58],"fault":[59],"tolerance":[60],"self-healing":[62],"execute":[64],"redundant":[65],"an":[68],"attempt":[69],"avoid":[71],"failures":[72],"at":[73],"runtime.":[74],"The":[75,150],"common":[76],"assumption":[77],"these":[79],"techniques,":[80],"though,":[81],"is":[82,86],"such":[84],"known":[87,179],"a":[88,104,127,140,144],"priori.":[89],"This":[90,124],"means":[91],"the":[93,111,162,171,174],"set":[94,146],"supposed":[99],"be":[101,108,119],"given":[105],"component":[106],"should":[107],"available":[109],"specifications.":[112],"Unfortunately,":[113],"inferring":[114],"information":[116],"manually":[117],"can":[118],"expensive":[120],"error":[122],"prone.":[123],"paper":[125],"proposes":[126],"search-based":[128],"technique":[129],"synthesize":[131],"method":[134,142,168],"invocations":[135],"target":[141],"within":[143],"finite":[145],"execution":[148],"scenarios.":[149],"experimental":[151],"results":[152],"obtained":[153],"on":[154],"47":[155],"methods":[156],"from":[157],"7":[158],"classes":[159],"show":[160],"proposed":[163],"approach":[164],"correctly":[165],"majority":[172],"cases":[175],"where":[176],"was":[178],"exist,":[181],"with":[182],"very":[183],"few":[184],"false":[185],"positives.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}