{"id":"https://openalex.org/W2765419294","doi":"https://doi.org/10.14232/actacyb.23.2.2017.9","title":"The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors","display_name":"The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2765419294","doi":"https://doi.org/10.14232/actacyb.23.2.2017.9","mag":"2765419294"},"language":"en","primary_location":{"id":"doi:10.14232/actacyb.23.2.2017.9","is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.23.2.2017.9","pdf_url":"http://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3942/3926","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Cybernetica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3942/3926","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003987120","display_name":"Istv\u00e1n K\u00e1d\u00e1r","orcid":"https://orcid.org/0000-0002-2953-5661"},"institutions":[{"id":"https://openalex.org/I227486990","display_name":"University of Szeged","ror":"https://ror.org/01pnej532","country_code":"HU","type":"education","lineage":["https://openalex.org/I227486990"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Istv\u00e1n K\u00e1d\u00e1r","raw_affiliation_strings":["University of Szeged, Department of Software Engineering \u00c1rp\u00e1d t\u00e9r 2. H-6720 Szeged, Hungary,"],"affiliations":[{"raw_affiliation_string":"University of Szeged, Department of Software Engineering \u00c1rp\u00e1d t\u00e9r 2. H-6720 Szeged, Hungary,","institution_ids":["https://openalex.org/I227486990"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5003987120"],"corresponding_institution_ids":["https://openalex.org/I227486990"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.19193818,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"23","issue":"2","first_page":"573","last_page":"597"},"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/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998000264167786,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8649628758430481},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.8312884569168091},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.718478262424469},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5072845816612244},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4963410496711731},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.4398016333580017},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4231574833393097},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4082587957382202},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36730819940567017}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8649628758430481},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.8312884569168091},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.718478262424469},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5072845816612244},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4963410496711731},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.4398016333580017},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4231574833393097},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4082587957382202},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36730819940567017},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14232/actacyb.23.2.2017.9","is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.23.2.2017.9","pdf_url":"http://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3942/3926","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Cybernetica","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.14232/actacyb.23.2.2017.9","is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.23.2.2017.9","pdf_url":"http://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3942/3926","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Cybernetica","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2765419294.pdf","grobid_xml":"https://content.openalex.org/works/W2765419294.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W116894366","https://openalex.org/W1511956503","https://openalex.org/W1548806133","https://openalex.org/W1634497122","https://openalex.org/W1710734607","https://openalex.org/W1845288303","https://openalex.org/W1936022305","https://openalex.org/W1964962870","https://openalex.org/W1986453394","https://openalex.org/W1992105245","https://openalex.org/W2047694629","https://openalex.org/W2065948900","https://openalex.org/W2074273322","https://openalex.org/W2094382938","https://openalex.org/W2095551048","https://openalex.org/W2101512909","https://openalex.org/W2103201337","https://openalex.org/W2110311336","https://openalex.org/W2119236311","https://openalex.org/W2119342939","https://openalex.org/W2123726582","https://openalex.org/W2132887549","https://openalex.org/W2132897303","https://openalex.org/W2133612077","https://openalex.org/W2138890930","https://openalex.org/W2160958420","https://openalex.org/W2161373306","https://openalex.org/W2163499368","https://openalex.org/W2171683519","https://openalex.org/W2171999426","https://openalex.org/W2213891260","https://openalex.org/W2240406150","https://openalex.org/W2407677063","https://openalex.org/W3141989311","https://openalex.org/W4232276817","https://openalex.org/W4232884709","https://openalex.org/W4246385123","https://openalex.org/W4248922040","https://openalex.org/W4254412902","https://openalex.org/W6604792949","https://openalex.org/W6646968476","https://openalex.org/W6677656270","https://openalex.org/W6678674573","https://openalex.org/W6679749050","https://openalex.org/W6685147529"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W34311366","https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W844671342","https://openalex.org/W4285245777","https://openalex.org/W2963243795","https://openalex.org/W1976560018","https://openalex.org/W3134905881","https://openalex.org/W2406227170"],"abstract_inverted_index":{"In":[0],"a":[1,21,30,77,88,91,117,227],"software":[2],"system,":[3],"most":[4],"of":[5,43,49,83,96,102,131,139,144,160,172,177,199,203,207,211,276],"the":[6,41,47,74,81,98,103,111,122,129,137,142,145,167,170,175,178,182,196,204,212,245,257,270,274,281,291],"runtime":[7,55,107,224,239],"failures":[8],"may":[9,19],"come":[10],"to":[11,53,194,221,247],"light":[12],"only":[13],"during":[14],"test":[15],"execution,":[16,85],"and":[17,115,216,283],"this":[18,28,156,191],"have":[20],"very":[22],"high":[23],"cost.":[24],"To":[25,154],"help":[26],"address":[27],"problem,":[29,157],"symbolic":[31,84,92,112,147,173,213],"execution":[32,93,100,113,132,148,179,214],"engine":[33,123],"called":[34,90],"RTEHunter,":[35],"which":[36],"has":[37],"been":[38],"developed":[39,263],"at":[40,46],"Department":[42],"Software":[44],"Engineering":[45],"University":[48],"Szeged,":[50],"is":[51,120,193],"able":[52],"detect":[54],"errors":[56],"(such":[57],"as":[58,128],"null":[59,277],"pointer":[60,278],"dereference,":[61],"bad":[62],"array":[63],"indexing,":[64],"division":[65],"by":[66,109],"zero)":[67],"in":[68,76,152,190,201,219,226,244,253,280],"Java":[69,234],"programs":[70],"without":[71],"actually":[72],"running":[73],"program":[75,282],"real-life":[78],"environment.":[79],"Applying":[80],"theory":[82],"RTEHunter":[86,105,200],"builds":[87],"tree,":[89,94,180],"composed":[95],"all":[97],"possible":[99],"paths":[101,133],"program.":[104],"detects":[106],"issues":[108,225,240],"traversing":[110,269],"tree":[114,149,215,271],"if":[116],"certain":[118],"condition":[119],"fulfilled":[121],"reports":[124],"an":[125],"issue.":[126],"However,":[127],"number":[130,138,171,206,275],"increases":[134],"exponentially":[135],"with":[136],"branching":[140],"points,":[141],"exploration":[143],"whole":[146],"becomes":[150],"impossible":[151],"practice.":[153],"overcome":[155],"different":[158],"kinds":[159],"constraints":[161],"can":[162,241],"be":[163,186,242],"set":[164],"up":[165],"over":[166],"tree.":[168],"E.g.":[169],"states,":[174,208],"depth":[176,210],"or":[181],"time":[183,259],"consumption":[184],"could":[185],"restricted.":[187],"Our":[188],"goal":[189],"study":[192],"find":[195,222],"optimal":[197],"parametrization":[198],"terms":[202],"maximum":[205,209],"search":[217,266,294],"strategy":[218],"order":[220],"more":[223,238],"shorter":[228],"time.":[229],"Results":[230],"on":[231,273,284],"three":[232],"open-source":[233],"systems":[235],"demonstrate":[236],"that":[237,287],"detected":[243],"0":[246],"60":[248],"basic":[249],"block-depth":[250],"levels":[251],"than":[252,290],"deeper":[254],"ones":[255],"within":[256],"same":[258],"frame.":[260],"We":[261],"also":[262],"two":[264],"novel":[265],"strategies":[267],"for":[268],"based":[272],"references":[279],"linear":[285],"regression":[286],"performs":[288],"better":[289],"default":[292],"depth-first":[293],"strategy.":[295]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}