{"id":"https://openalex.org/W2099978979","doi":"https://doi.org/10.1109/tse.2015.2389225","title":"BLISS: Improved Symbolic Execution by\\\\ Bounded Lazy Initialization with SAT Support","display_name":"BLISS: Improved Symbolic Execution by\\\\ Bounded Lazy Initialization with SAT Support","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2099978979","doi":"https://doi.org/10.1109/tse.2015.2389225","mag":"2099978979"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2015.2389225","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2389225","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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/A5083103482","display_name":"Nicol\u00e1s Rosner","orcid":"https://orcid.org/0000-0002-0742-8101"},"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":"Nicolas Rosner","raw_affiliation_strings":["Department of Computer Science, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina","Department of Computer Science, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]},{"raw_affiliation_string":"Department of Computer Science, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina#TAB#","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050494871","display_name":"Jaco Geldenhuys","orcid":"https://orcid.org/0000-0002-5636-6656"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Jaco Geldenhuys","raw_affiliation_strings":["Department of Computer Science, University of Stellenbosch, Stellenbosch, South Africa","Department of Computer Science, University of Stellenbosch, Stellenbosch, SOUTH AFRICA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Stellenbosch, Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"Department of Computer Science, University of Stellenbosch, Stellenbosch, SOUTH AFRICA","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016401353","display_name":"Nazareno Aguirre","orcid":"https://orcid.org/0000-0003-0532-5296"},"institutions":[{"id":"https://openalex.org/I15366983","display_name":"Universidad Nacional de R\u00edo Cuarto","ror":"https://ror.org/0002pcv65","country_code":"AR","type":"education","lineage":["https://openalex.org/I15366983"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Nazareno Aguirre","raw_affiliation_strings":["Department of Computer Science, FCEFQyN, Universidad Nacional de Rio Cuarto, and CONICET, R\u00edo Cuarto, Argentina","[Department of Computer Science, FCEFQyN, Universidad Nacional de Rio Cuarto, and CONICET, R\u00edo Cuarto, Argentina]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, FCEFQyN, Universidad Nacional de Rio Cuarto, and CONICET, R\u00edo Cuarto, Argentina","institution_ids":["https://openalex.org/I15366983"]},{"raw_affiliation_string":"[Department of Computer Science, FCEFQyN, Universidad Nacional de Rio Cuarto, and CONICET, R\u00edo Cuarto, Argentina]","institution_ids":["https://openalex.org/I15366983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088454541","display_name":"Willem Visser","orcid":"https://orcid.org/0000-0002-0913-3091"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Willem Visser","raw_affiliation_strings":["Department of Computer Science, University of Stellenbosch, Stellenbosch, South Africa","Department of Computer Science, University of Stellenbosch, Stellenbosch, SOUTH AFRICA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Stellenbosch, Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"Department of Computer Science, University of Stellenbosch, Stellenbosch, SOUTH AFRICA","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035707440","display_name":"Marcelo F. Frias","orcid":"https://orcid.org/0000-0002-5592-1355"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I4210133962","display_name":"Instituto Tecnol\u00f3gico de Buenos Aires (ITBA)","ror":"https://ror.org/02qwadn23","country_code":"AR","type":"education","lineage":["https://openalex.org/I4210133962"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Marcelo Frias","raw_affiliation_strings":["Department of Software Engineering, Instituto Tecnol\u00f3gico de Buenos Aires, and CONICET, Buenos Aires, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, Instituto Tecnol\u00f3gico de Buenos Aires, and CONICET, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I151201029","https://openalex.org/I4210133962"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":16.788,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.99071558,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"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.9995999932289124,"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.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/bliss","display_name":"BLISS","score":0.7983465194702148},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7850183844566345},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.7635915279388428},{"id":"https://openalex.org/keywords/initialization","display_name":"Initialization","score":0.7632081508636475},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6536011695861816},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.549960732460022},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4503185451030731},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.42071324586868286},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.41694176197052},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39730364084243774},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23324042558670044},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1854950487613678},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09258252382278442}],"concepts":[{"id":"https://openalex.org/C2780658912","wikidata":"https://www.wikidata.org/wiki/Q2877155","display_name":"BLISS","level":2,"score":0.7983465194702148},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7850183844566345},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.7635915279388428},{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.7632081508636475},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6536011695861816},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.549960732460022},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4503185451030731},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.42071324586868286},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.41694176197052},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39730364084243774},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23324042558670044},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1854950487613678},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09258252382278442},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2015.2389225","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2389225","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4197339911","display_name":null,"funder_award_id":"NPRP-4-1109-1-174","funder_id":"https://openalex.org/F4320309815","funder_display_name":"Qatar Foundation"}],"funders":[{"id":"https://openalex.org/F4320309815","display_name":"Qatar Foundation","ror":"https://ror.org/01cawbq05"},{"id":"https://openalex.org/F4320321038","display_name":"Fonds National de la Recherche Luxembourg","ror":"https://ror.org/039z13y21"},{"id":"https://openalex.org/F4320332753","display_name":"Qatar National Research Fund","ror":"https://ror.org/01svaqq28"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1494570513","https://openalex.org/W1500983737","https://openalex.org/W1710734607","https://openalex.org/W1720848645","https://openalex.org/W1978679823","https://openalex.org/W1988537734","https://openalex.org/W1990880047","https://openalex.org/W1993836075","https://openalex.org/W2042546688","https://openalex.org/W2078988604","https://openalex.org/W2097444001","https://openalex.org/W2101244414","https://openalex.org/W2101512909","https://openalex.org/W2110988764","https://openalex.org/W2111420700","https://openalex.org/W2130729525","https://openalex.org/W2139555094","https://openalex.org/W2162120832","https://openalex.org/W2164392635","https://openalex.org/W2169063148","https://openalex.org/W2171480813","https://openalex.org/W2171683519","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W6629654464","https://openalex.org/W6637688222","https://openalex.org/W6637830688","https://openalex.org/W6680382890"],"related_works":["https://openalex.org/W2884598295","https://openalex.org/W2313933600","https://openalex.org/W2318743569","https://openalex.org/W3152373127","https://openalex.org/W4313547540","https://openalex.org/W4285104766","https://openalex.org/W2029862101","https://openalex.org/W4316662528","https://openalex.org/W2142782287","https://openalex.org/W2912813468"],"abstract_inverted_index":{"Lazy":[0],"Initialization":[1],"(LI)":[2],"allows":[3],"symbolic":[4,22,79,101,128,192],"execution":[5,80],"to":[6,14,46,109,132,157,163,176,217],"effectively":[7],"deal":[8],"with":[9,63,88,207],"heap-allocated":[10],"data":[11,185],"structures,":[12],"thanks":[13],"a":[15,67,100],"significant":[16],"reduction":[17],"in":[18,44,213],"spurious":[19,51],"and":[20,92,116,165,225],"redundant":[21],"structures.":[23,186],"Bounded":[24],"lazy":[25,61],"initialization":[26,62],"(BLI)":[27],"improves":[28],"on":[29,38,126],"LI":[30,164,173,224],"by":[31,172,174,195,201,203,234],"taking":[32],"advantage":[33],"of":[34,41,50,113,179,190,209,231],"precomputed":[35],"relational":[36],"bounds":[37,96],"the":[39,48,72,78,110,114,117,169,182,188,229],"interpretation":[40],"class":[42],"fields":[43],"order":[45],"reduce":[47],"number":[49,189],"structures":[52,76,193],"even":[53],"further.":[54],"In":[55],"this":[56],"paper":[57],"we":[58],"present":[59],"bounded":[60],"SAT":[64],"support":[65],"(BLISS),":[66],"novel":[68],"technique":[69],"that":[70,152],"refines":[71],"search":[73],"for":[74,181],"valid":[75,159],"during":[77],"process.":[81],"BLISS":[82,167,202,219],"builds":[83],"upon":[84],"BLI,":[85,166,226],"extending":[86],"it":[87,148],"field":[89,118],"bound":[90],"refinement":[91],"satisfiability":[93],"checks.":[94],"Field":[95],"are":[97,140],"refined":[98,127],"while":[99],"structure":[102],"is":[103,199],"concretized,":[104],"avoiding":[105],"cases":[106,215],"that,":[107],"due":[108],"concrete":[111,160],"part":[112],"heap":[115],"bounds,":[119],"can":[120,149],"be":[121,150,155],"deemed":[122],"redundant.":[123],"Satisfiability":[124],"checks":[125],"heaps":[129,135],"allow":[130],"us":[131],"prune":[133],"these":[134],"as":[136,138,142,145,147],"soon":[137,146],"they":[139,153],"identified":[141],"infeasible,":[143],"i.e.,":[144],"confirmed":[151],"cannot":[154],"extended":[156],"any":[158],"heap.":[161],"Compared":[162],"reduces":[168],"time":[170],"required":[171],"up":[175],"four":[177],"orders":[178],"magnitude":[180],"most":[183],"complex":[184],"Moreover,":[187],"partially":[191],"obtained":[194],"exploring":[196],"program":[197],"paths":[198],"reduced":[200],"over":[204,210],"50":[205],"percent,":[206],"reductions":[208],"90":[211],"percent":[212],"some":[214],"(compared":[216],"LI).":[218],"uses":[220],"less":[221],"memory":[222],"than":[223],"which":[227],"enables":[228],"exploration":[230],"states":[232],"unreachable":[233],"previous":[235],"techniques.":[236]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}