{"id":"https://openalex.org/W2808810640","doi":"https://doi.org/10.1145/3183440.3183472","title":"SUSHI","display_name":"SUSHI","publication_year":2018,"publication_date":"2018-05-27","ids":{"openalex":"https://openalex.org/W2808810640","doi":"https://doi.org/10.1145/3183440.3183472","mag":"2808810640"},"language":"en","primary_location":{"id":"doi:10.1145/3183440.3183472","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3183440.3183472","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","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/A5077180647","display_name":"Pietro Braione","orcid":"https://orcid.org/0000-0001-9307-6781"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Pietro Braione","raw_affiliation_strings":["University of Milano-Bicocca, Italy"],"affiliations":[{"raw_affiliation_string":"University of Milano-Bicocca, Italy","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038269238","display_name":"Giovanni Denaro","orcid":"https://orcid.org/0000-0002-7566-8051"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giovanni Denaro","raw_affiliation_strings":["University of Milano-Bicocca, Italy"],"affiliations":[{"raw_affiliation_string":"University of Milano-Bicocca, Italy","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006626837","display_name":"Andrea Mattavelli","orcid":null},"institutions":[{"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":["GB"],"is_corresponding":false,"raw_author_name":"Andrea Mattavelli","raw_affiliation_strings":["Imperial College, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Imperial College, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","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":["Universit\u00e0 della Svizzera italiana (USI), Switzerland"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Svizzera italiana (USI), Switzerland","institution_ids":["https://openalex.org/I57201433"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5077180647"],"corresponding_institution_ids":["https://openalex.org/I66752286"],"apc_list":null,"apc_paid":null,"fwci":3.9756,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.94507917,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"21","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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/T10743","display_name":"Software Testing and Debugging Techniques","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/T12423","display_name":"Software Reliability and Analysis Research","score":0.996399998664856,"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.9944000244140625,"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/computer-science","display_name":"Computer science","score":0.7669435739517212},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.7437726259231567},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.6544958353042603},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.6502217650413513},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6302854418754578},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5541710257530212},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5540324449539185},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42099544405937195},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3949090242385864},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3326437473297119},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32035455107688904},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10556459426879883},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.09892991185188293}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7669435739517212},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.7437726259231567},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.6544958353042603},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.6502217650413513},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6302854418754578},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5541710257530212},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5540324449539185},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42099544405937195},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3949090242385864},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3326437473297119},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32035455107688904},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10556459426879883},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.09892991185188293},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3183440.3183472","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3183440.3183472","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","raw_type":"proceedings-article"},{"id":"pmh:oai:boa.unimib.it:10281/220024","is_oa":false,"landing_page_url":"http://hdl.handle.net/10281/220024","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1710734607","https://openalex.org/W1720848645","https://openalex.org/W1989218486","https://openalex.org/W1993760289","https://openalex.org/W2042033151","https://openalex.org/W2099978979","https://openalex.org/W2107709519","https://openalex.org/W2109998301","https://openalex.org/W2110311336","https://openalex.org/W2115273016","https://openalex.org/W2120174523","https://openalex.org/W2171683519","https://openalex.org/W2548465910","https://openalex.org/W2735077751","https://openalex.org/W3160978791"],"related_works":["https://openalex.org/W2905722102","https://openalex.org/W2155539595","https://openalex.org/W2752815423","https://openalex.org/W3145906801","https://openalex.org/W2095266342","https://openalex.org/W4243663106","https://openalex.org/W2067529211","https://openalex.org/W1517932371","https://openalex.org/W2018397790","https://openalex.org/W2912813468"],"abstract_inverted_index":{"Random":[0],"and":[1,73,77],"search-based":[2,87],"test":[3,7,17,48,88,127],"generators":[4],"yield":[5],"realistic":[6],"cases":[8],"based":[9],"on":[10,21],"program":[11,71,110],"APIs,":[12],"but":[13,34],"often":[14],"miss":[15],"structural":[16],"objectives":[18],"that":[19,65,102,120],"depend":[20],"non-trivial":[22],"data":[23,75],"structure":[24],"instances;":[25],"Whereas":[26],"symbolic":[27,59],"execution":[28,60],"can":[29,122],"precisely":[30,66],"characterise":[31],"those":[32],"dependencies":[33],"does":[35],"not":[36],"compute":[37],"method":[38,100],"sequences":[39],"to":[40,61,107],"instantiate":[41],"them.":[42],"We":[43],"present":[44],"SUSHI,":[45],"a":[46,98],"high-coverage":[47],"case":[49],"generator":[50],"for":[51,93],"programs":[52],"with":[53],"complex":[54],"structured":[55,105],"inputs.":[56],"SUSHI":[57,121],"leverages":[58],"generate":[62],"path":[63,80,115],"conditions":[64,81],"describe":[67],"the":[68,79,83,94,104,109,114],"relationship":[69],"between":[70],"paths":[72,111],"input":[74],"structures,":[76],"converts":[78],"into":[82],"fitness":[84],"functions":[85],"of":[86],"generation":[89,128],"problems.":[90],"A":[91],"solution":[92],"search":[95],"problem":[96],"is":[97],"legal":[99],"sequence":[101],"instantiates":[103],"inputs":[106],"exercise":[108],"identified":[112],"by":[113],"condition.":[116],"Our":[117],"experiments":[118],"indicate":[119],"distinctively":[123],"complement":[124],"current":[125],"automatic":[126],"tools.":[129]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":6}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2018-06-29T00:00:00"}