{"id":"https://openalex.org/W4312495723","doi":"https://doi.org/10.1145/3510454.3516869","title":"SynTest-solidity","display_name":"SynTest-solidity","publication_year":2022,"publication_date":"2022-05-21","ids":{"openalex":"https://openalex.org/W4312495723","doi":"https://doi.org/10.1145/3510454.3516869"},"language":"en","primary_location":{"id":"doi:10.1145/3510454.3516869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510454.3516869","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510454.3516869","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3510454.3516869","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053989027","display_name":"Mitchell Olsthoorn","orcid":"https://orcid.org/0000-0003-0551-6690"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mitchell Olsthoorn","raw_affiliation_strings":["Delft University of Technology, Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028002784","display_name":"Dimitri Stallenberg","orcid":"https://orcid.org/0009-0003-7843-2372"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Dimitri Stallenberg","raw_affiliation_strings":["Delft University of Technology, Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090401584","display_name":"Arie van Deursen","orcid":"https://orcid.org/0000-0003-4850-3312"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arie van Deursen","raw_affiliation_strings":["Delft University of Technology, Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067127346","display_name":"Annibale Panichella","orcid":"https://orcid.org/0000-0002-7395-3588"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Annibale Panichella","raw_affiliation_strings":["Delft University of Technology, Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"202","last_page":"206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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":0.9993000030517578,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9952999949455261,"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/solidity","display_name":"Solidity","score":0.9939560890197754},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.8445903658866882},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6782628297805786},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5806595087051392},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.5168002843856812},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.23312073945999146},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.17201054096221924},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1380365788936615}],"concepts":[{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.9939560890197754},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.8445903658866882},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6782628297805786},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5806595087051392},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5168002843856812},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.23312073945999146},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.17201054096221924},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1380365788936615},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3510454.3516869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510454.3516869","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510454.3516869","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3510454.3516869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510454.3516869","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510454.3516869","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4312495723.pdf","grobid_xml":"https://content.openalex.org/works/W4312495723.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1599808047","https://openalex.org/W2586946380","https://openalex.org/W2795144752","https://openalex.org/W3091620507","https://openalex.org/W3183304837"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2968888849","https://openalex.org/W4226257652","https://openalex.org/W2901515670","https://openalex.org/W4226265621","https://openalex.org/W4307962079","https://openalex.org/W2511770387","https://openalex.org/W3215711835","https://openalex.org/W3120811337"],"abstract_inverted_index":{"Ethereum":[0,14],"is":[1,15,20],"the":[2,30,35,40,107],"largest":[3],"and":[4,37,74,90,96],"most":[5],"prominent":[6],"smart":[7,41,114],"contract":[8,19,42],"platform.":[9],"One":[10],"key":[11],"property":[12],"of":[13,32,39,109],"that":[16],"once":[17],"a":[18,101],"deployed,":[21],"it":[22],"can":[23],"not":[24,52],"be":[25],"updated":[26],"anymore.":[27],"This":[28],"increases":[29],"importance":[31],"thoroughly":[33],"testing":[34,112],"behavior":[36],"constraints":[38],"before":[43],"deployment.":[44],"Existing":[45],"approaches":[46],"in":[47,111],"related":[48],"work":[49],"either":[50],"do":[51],"scale":[53],"or":[54],"are":[55],"only":[56],"focused":[57],"on":[58],"finding":[59],"crashing":[60],"inputs.":[61],"In":[62],"this":[63],"tool":[64],"demo,":[65],"we":[66,99],"introduce":[67],"SynTest-Solidity,":[68],"an":[69],"automated":[70],"test":[71],"case":[72],"generation":[73],"fuzzing":[75],"framework":[76],"for":[77],"Solidity.":[78],"SynTest-Solidity":[79,110],"implements":[80],"various":[81],"metaheuristic":[82],"search":[83,87],"algorithms,":[84],"including":[85],"random":[86],"(traditional":[88],"fuzzing)":[89],"genetic":[91],"algorithms":[92],"(i.e.,":[93],"NSGA-II,":[94],"MOSA,":[95],"DynaMOSA).":[97],"Finally,":[98],"performed":[100],"preliminary":[102],"empirical":[103],"study":[104],"to":[105],"assess":[106],"effectiveness":[108],"Solidity":[113],"contracts.":[115]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2023-01-05T00:00:00"}