{"id":"https://openalex.org/W3165394903","doi":"https://doi.org/10.1007/s00165-021-00538-3","title":"Machine learning steered symbolic execution framework for complex software code","display_name":"Machine learning steered symbolic execution framework for complex software code","publication_year":2021,"publication_date":"2021-05-26","ids":{"openalex":"https://openalex.org/W3165394903","doi":"https://doi.org/10.1007/s00165-021-00538-3","mag":"3165394903"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-021-00538-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00538-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00538-3","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00538-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Bu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China"],"raw_orcid":"https://orcid.org/0000-0003-0517-7801","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025803014","display_name":"Yongjuan Liang","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongjuan Liang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102277981","display_name":"Zhunyi Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhunyi Xie","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103669029","display_name":"Hong Qian","orcid":"https://orcid.org/0009-0007-7563-973X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hong Qian","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101594317","display_name":"Yi-Qi Hu","orcid":"https://orcid.org/0000-0002-7689-291X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi-Qi Hu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100342263","display_name":"Yang Yu","orcid":"https://orcid.org/0000-0002-1732-9545"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Yu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100729056","display_name":"Xin Chen","orcid":"https://orcid.org/0000-0001-7969-7848"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Chen","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":3.0209,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.8974026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"33","issue":"3","first_page":"301","last_page":"323"},"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.9998999834060669,"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.9998999834060669,"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.9976999759674072,"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.9970999956130981,"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/symbolic-execution","display_name":"Symbolic execution","score":0.8661462068557739},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8346313238143921},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5755213499069214},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5669251680374146},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5242105722427368},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.47705593705177307},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.468837171792984},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.4463886618614197},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43772798776626587},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.42780637741088867},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34902119636535645},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3417704105377197},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23846912384033203}],"concepts":[{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.8661462068557739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8346313238143921},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5755213499069214},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5669251680374146},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5242105722427368},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.47705593705177307},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.468837171792984},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.4463886618614197},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43772798776626587},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.42780637741088867},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34902119636535645},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3417704105377197},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23846912384033203},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-021-00538-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00538-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00538-3","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-021-00538-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00538-3","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00538-3","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1905943838","display_name":"\u57fa\u4e8e\u7b26\u53f7\u6267\u884c\u7684\u590d\u6742\u8f6f\u4ef6\u7cfb\u7edf\u6d4b\u8bd5\u4e0e\u9a8c\u8bc1\u7814\u7a76","funder_award_id":"61632015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2131628907","display_name":null,"funder_award_id":"BK20202001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3230566493","display_name":null,"funder_award_id":"61632015","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G3442037871","display_name":null,"funder_award_id":"61690204","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4366907579","display_name":null,"funder_award_id":"2020AAA0107200","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5469316478","display_name":null,"funder_award_id":"61876077","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3165394903.pdf","grobid_xml":"https://content.openalex.org/works/W3165394903.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W1493060511","https://openalex.org/W1548806133","https://openalex.org/W1710734607","https://openalex.org/W1965247392","https://openalex.org/W1966151649","https://openalex.org/W1975833562","https://openalex.org/W1979345446","https://openalex.org/W1995714897","https://openalex.org/W1999990426","https://openalex.org/W2004193076","https://openalex.org/W2009956228","https://openalex.org/W2040060046","https://openalex.org/W2047694629","https://openalex.org/W2069214847","https://openalex.org/W2073107347","https://openalex.org/W2075621462","https://openalex.org/W2078988604","https://openalex.org/W2082172430","https://openalex.org/W2094382938","https://openalex.org/W2096449544","https://openalex.org/W2097444001","https://openalex.org/W2101512909","https://openalex.org/W2105993618","https://openalex.org/W2108207895","https://openalex.org/W2109276114","https://openalex.org/W2110311336","https://openalex.org/W2114869486","https://openalex.org/W2139107230","https://openalex.org/W2155539595","https://openalex.org/W2159884372","https://openalex.org/W2163850966","https://openalex.org/W2192203593","https://openalex.org/W2296669295","https://openalex.org/W2461750512","https://openalex.org/W2484725950","https://openalex.org/W2501678966","https://openalex.org/W2518440340","https://openalex.org/W2557675916","https://openalex.org/W2604877292","https://openalex.org/W3004157836","https://openalex.org/W4248729839"],"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/W2091348864","https://openalex.org/W2569549435","https://openalex.org/W4285245777","https://openalex.org/W2980586481","https://openalex.org/W2147976636"],"abstract_inverted_index":{"Abstract":[0],"During":[1],"program":[2],"traversing,":[3],"symbolic":[4,49,96,188],"execution":[5,50,97,189],"collects":[6],"path":[7,22,103,137],"conditions":[8],"and":[9,63,110,164],"feeds":[10],"them":[11],"to":[12,16,34,68,120,134,154,196,203,220],"a":[13,53,136,170,184,226],"constraint":[14,58],"solver":[15,132],"obtain":[17],"feasible":[18,71],"solutions.":[19],"However,":[20],"complex":[21,84],"conditions,":[23,104],"like":[24],"nonlinear":[25,107,236],"constraints,":[26],"which":[27,199,224],"widely":[28],"appear":[29],"in":[30,80,147],"programs,":[31],"are":[32,213,233],"hard":[33],"be":[35,78],"handled":[36],"efficiently":[37],"by":[38,253],"the":[39,47,95,121,125,131,145,148,152,160,176,216,250,259],"existing":[40],"solvers.":[41],"In":[42],"this":[43,89],"paper,":[44],"we":[45,139],"adapt":[46],"classical":[48],"framework":[51],"with":[52],"machine":[54,126],"learning":[55,127],"approach":[56,61],"for":[57,218],"satisfaction.":[59],"The":[60],"samples":[62],"learns":[64],"from":[65],"different":[66,81],"solutions":[67],"identify":[69],"potentially":[70],"area.":[72],"This":[73],"sampling-learning":[74],"style":[75],"solving":[76],"can":[77,140,192],"applied":[79],"class":[82],"of":[83,98,115,124,144,151,178,229,235],"problems":[85],"easily.":[86],"Therefore,":[87],"incorporating":[88],"approach,":[90,129],"our":[91],"framework,":[92],"MLBSE,":[93],"supports":[94],"not":[99],"only":[100],"simple":[101],"linear":[102],"but":[105],"also":[106],"arithmetic":[108,239],"operations,":[109,237],"even":[111],"black-box":[112],"function":[113],"calls":[114],"library":[116],"methods.":[117],"Meanwhile,":[118],"thanks":[119],"theoretical":[122],"foundation":[123],"based":[128],"when":[130],"fails":[133],"solve":[135],"condition,":[138],"have":[141],"an":[142],"estimation":[143],"confidence":[146],"satisfiability":[149],"(ECS)":[150],"problem":[153,161],"give":[155],"users":[156],"insights":[157],"about":[158],"how":[159],"is":[162,200,255],"analyzed":[163],"whether":[165],"they":[166],"could":[167],"ultimately":[168],"find":[169],"solution.":[171],"We":[172],"implement":[173],"MLBSE":[174,197,219,254],"on":[175],"basis":[177],"Symbolic":[179],"Path":[180],"Finder":[181],"(SPF)":[182],"into":[183],"fully":[185],"automatic":[186],"Java":[187],"engine.":[190],"Users":[191],"feed":[193],"their":[194],"code":[195],"directly,":[198],"very":[201],"convenient":[202],"use.":[204],"To":[205],"evaluate":[206],"its":[207],"performance,":[208],"22":[209],"real":[210],"case":[211],"programs":[212],"used":[214],"as":[215,240,242],"benchmarks":[217],"generate":[221],"test":[222],"cases,":[223],"involve":[225],"total":[227],"number":[228],"1042":[230],"methods":[231],"that":[232,249],"full":[234],"floating-point":[238],"well":[241],"native":[243],"method":[244],"calls.":[245],"Experiment":[246],"results":[247],"show":[248],"coverage":[251],"achieved":[252],"much":[256],"higher":[257],"than":[258],"state-of-the-art":[260],"tools.":[261]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}