{"id":"https://openalex.org/W2735077751","doi":"https://doi.org/10.1145/3092703.3092715","title":"Combining symbolic execution and search-based testing for programs with complex heap inputs","display_name":"Combining symbolic execution and search-based testing for programs with complex heap inputs","publication_year":2017,"publication_date":"2017-07-10","ids":{"openalex":"https://openalex.org/W2735077751","doi":"https://doi.org/10.1145/3092703.3092715","mag":"2735077751"},"language":"en","primary_location":{"id":"doi:10.1145/3092703.3092715","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3092715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","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, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","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":["University of Lugano, Switerland"],"affiliations":[{"raw_affiliation_string":"University of Lugano, Switerland","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":10.219,"has_fulltext":false,"cited_by_count":61,"citation_normalized_percentile":{"value":0.98328358,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"90","last_page":"101"},"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.998199999332428,"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.9979000091552734,"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/symbolic-execution","display_name":"Symbolic execution","score":0.8897933959960938},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8627209663391113},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.753584623336792},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.6034319400787354},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5155463218688965},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.5117130279541016},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5071344375610352},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.4495481550693512},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.44552576541900635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4412245750427246},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4345744848251343},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.42624324560165405},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4047330617904663},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.37024763226509094},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2357243001461029},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.21413692831993103},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.09471261501312256}],"concepts":[{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.8897933959960938},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8627209663391113},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.753584623336792},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.6034319400787354},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5155463218688965},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.5117130279541016},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5071344375610352},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.4495481550693512},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.44552576541900635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4412245750427246},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4345744848251343},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42624324560165405},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4047330617904663},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37024763226509094},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2357243001461029},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21413692831993103},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09471261501312256},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3092703.3092715","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3092715","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:boa.unimib.it:10281/155095","is_oa":false,"landing_page_url":"http://hdl.handle.net/10281/155095","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"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/48967","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/48967","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Symposium on Software Testing and Analysis","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.75,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1432923229","display_name":null,"funder_award_id":"2015KWREMX","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G1508310895","display_name":"Improving Symbolic Execution via Targeted Program Transformations","funder_award_id":"EP/N007166/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3501905745","display_name":null,"funder_award_id":"PRIN-MIUR- 2015KWREMX","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G7940505507","display_name":null,"funder_award_id":"EP/N007166/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W335711039","https://openalex.org/W1128447031","https://openalex.org/W1524053243","https://openalex.org/W1548806133","https://openalex.org/W1640714309","https://openalex.org/W1710734607","https://openalex.org/W1720848645","https://openalex.org/W1845288303","https://openalex.org/W1926206757","https://openalex.org/W1964730672","https://openalex.org/W1967471703","https://openalex.org/W1968783153","https://openalex.org/W1971137495","https://openalex.org/W1971455601","https://openalex.org/W1975833562","https://openalex.org/W1982849299","https://openalex.org/W1985335248","https://openalex.org/W1987703119","https://openalex.org/W1988537734","https://openalex.org/W1989218486","https://openalex.org/W1993760289","https://openalex.org/W2004071059","https://openalex.org/W2009956228","https://openalex.org/W2021269276","https://openalex.org/W2026701697","https://openalex.org/W2036076692","https://openalex.org/W2061731456","https://openalex.org/W2075485888","https://openalex.org/W2082274331","https://openalex.org/W2090754600","https://openalex.org/W2096449544","https://openalex.org/W2097444001","https://openalex.org/W2099978979","https://openalex.org/W2101629181","https://openalex.org/W2107147876","https://openalex.org/W2107709519","https://openalex.org/W2109998301","https://openalex.org/W2110311336","https://openalex.org/W2114345296","https://openalex.org/W2114869486","https://openalex.org/W2115273016","https://openalex.org/W2118155805","https://openalex.org/W2120174523","https://openalex.org/W2122598528","https://openalex.org/W2130729525","https://openalex.org/W2137351629","https://openalex.org/W2156723666","https://openalex.org/W2162120832","https://openalex.org/W2163499368","https://openalex.org/W2171683519","https://openalex.org/W2172260321","https://openalex.org/W2364496964","https://openalex.org/W2548465910","https://openalex.org/W2915209275","https://openalex.org/W4237492309","https://openalex.org/W4253606798","https://openalex.org/W4285719527","https://openalex.org/W4388727850","https://openalex.org/W6611484032"],"related_works":["https://openalex.org/W2777046235","https://openalex.org/W3172606155","https://openalex.org/W3019261932","https://openalex.org/W2186070848","https://openalex.org/W2785720764","https://openalex.org/W3134905881","https://openalex.org/W2914996832","https://openalex.org/W4295529944","https://openalex.org/W3104446232","https://openalex.org/W2888408058"],"abstract_inverted_index":{"Despite":[0],"the":[1,39,56,60,76,83,120,123,127,132,159],"recent":[2],"improvements":[3],"in":[4,44,164],"automatic":[5],"test":[6,14,100,166],"case":[7],"generation,":[8],"handling":[9],"complex":[10,105,171],"data":[11,106,172],"structures":[12,62,85,107,173],"as":[13,108,174],"inputs":[15,32,46],"is":[16,53,161],"still":[17],"an":[18],"open":[19],"problem.":[20],"Search-based":[21],"approaches":[22],"can":[23,67],"generate":[24,99,115],"sequences":[25,77,146],"of":[26,38,59,78,147],"method":[27,79,148],"calls":[28,80,149],"that":[29,81,118,138,150,158],"instantiate":[30,82,151],"structured":[31,70],"to":[33,47,97,114,135,144],"exercise":[34],"a":[35,94,178],"relevant":[36],"portion":[37],"code,":[40],"but":[41,72],"fall":[42],"short":[43],"building":[45],"execute":[48],"program":[49,124],"elements":[50],"whose":[51],"reachability":[52],"determined":[54],"by":[55],"structural":[57],"features":[58],"input":[61,84,128],"themselves.":[63],"Symbolic":[64],"execution":[65,113],"techniques":[66,143],"effectively":[68],"handle":[69],"inputs,":[71,175],"do":[73],"not":[74],"identify":[75],"through":[86],"legal":[87],"interfaces.":[88],"In":[89],"this":[90],"paper,":[91],"we":[92,139],"propose":[93],"new":[95],"approach":[96,160],"automatically":[98],"cases":[101,167],"for":[102,168],"programs":[103,169],"with":[104,141,170],"inputs.":[109,153],"We":[110],"use":[111],"symbolic":[112],"path":[116,133],"conditions":[117,134],"characterise":[119],"dependencies":[121],"between":[122],"paths":[125],"and":[126,130],"structures,":[129],"convert":[131],"optimisation":[136],"problems":[137],"solve":[140],"search-based":[142],"produce":[145],"those":[152],"Our":[154],"preliminary":[155],"results":[156],"show":[157],"indeed":[162],"effective":[163],"generating":[165],"thus":[176],"opening":[177],"promising":[179],"research":[180],"direction.":[181]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":14},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}