{"id":"https://openalex.org/W4391173098","doi":"https://doi.org/10.1007/s40747-023-01323-w","title":"Knowledge transfer based many-objective approach for finding bugs in multi-path loops","display_name":"Knowledge transfer based many-objective approach for finding bugs in multi-path loops","publication_year":2024,"publication_date":"2024-01-24","ids":{"openalex":"https://openalex.org/W4391173098","doi":"https://doi.org/10.1007/s40747-023-01323-w"},"language":"en","primary_location":{"id":"doi:10.1007/s40747-023-01323-w","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s40747-023-01323-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s40747-023-01323-w.pdf","source":{"id":"https://openalex.org/S3035462843","display_name":"Complex & Intelligent Systems","issn_l":"2198-6053","issn":["2198-6053","2199-4536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex & Intelligent Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007/s40747-023-01323-w.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071355325","display_name":"Stuart D. Semujju","orcid":"https://orcid.org/0000-0002-1843-577X"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Stuart D. Semujju","raw_affiliation_strings":["School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China"],"raw_orcid":"https://orcid.org/0000-0002-1843-577X","affiliations":[{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101420116","display_name":"Fangqing Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fangqing Liu","raw_affiliation_strings":["School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088160732","display_name":"Han Huang","orcid":"https://orcid.org/0009-0002-7069-0468"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Han Huang","raw_affiliation_strings":["School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027424271","display_name":"Yi Xiang","orcid":"https://orcid.org/0000-0003-2118-4825"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Xiang","raw_affiliation_strings":["School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I90610280"]},{"raw_affiliation_string":"School of Software Engineering, South China University of Technology, Guangzhou, 510006, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000979050","display_name":"Xueming Yan","orcid":null},"institutions":[{"id":"https://openalex.org/I186272606","display_name":"Guangdong University of Foreign Studies","ror":"https://ror.org/00fhc9y79","country_code":"CN","type":"education","lineage":["https://openalex.org/I186272606"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xueming Yan","raw_affiliation_strings":["School of Information Science and Technology, Guangdong University of Foreign Studies, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","School of Information Science and Technology, Guangdong University of Foreign Studies, Guangzhou, 510006, Guangdong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, Guangdong University of Foreign Studies, Guangzhou, 510006, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I186272606"]},{"raw_affiliation_string":"School of Information Science and Technology, Guangdong University of Foreign Studies, Guangzhou, 510006, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I186272606"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100396980","display_name":"Zhifeng Hao","orcid":"https://orcid.org/0000-0002-9257-2895"},"institutions":[{"id":"https://openalex.org/I32574673","display_name":"Shantou University","ror":"https://ror.org/01a099706","country_code":"CN","type":"education","lineage":["https://openalex.org/I32574673"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhifeng Hao","raw_affiliation_strings":["Department of Mathematics, College of Science Shantou University, Shantou, 515063, Guangdong, People\u2019s Republic of China","Department of Mathematics, College of Science Shantou University, Shantou, 515063, Guangdong, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, College of Science Shantou University, Shantou, 515063, Guangdong, People\u2019s Republic of China","institution_ids":["https://openalex.org/I32574673"]},{"raw_affiliation_string":"Department of Mathematics, College of Science Shantou University, Shantou, 515063, Guangdong, People's Republic of China","institution_ids":["https://openalex.org/I32574673"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5071355325"],"corresponding_institution_ids":["https://openalex.org/I90610280"],"apc_list":{"value":1320,"currency":"GBP","value_usd":1619},"apc_paid":{"value":1320,"currency":"GBP","value_usd":1619},"fwci":0.4642,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62194617,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"10","issue":"3","first_page":"3235","last_page":"3258"},"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.9995999932289124,"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.9991000294685364,"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.6912232637405396},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5646135807037354},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5293216109275818},{"id":"https://openalex.org/keywords/loop","display_name":"Loop (graph theory)","score":0.523271918296814},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.521844744682312},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.4402015805244446},{"id":"https://openalex.org/keywords/loop-tiling","display_name":"Loop tiling","score":0.4299084544181824},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4294233024120331},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4214269518852234},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41569432616233826},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.33562642335891724},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.24686866998672485},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1624801754951477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13077634572982788}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6912232637405396},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5646135807037354},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5293216109275818},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.523271918296814},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.521844744682312},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.4402015805244446},{"id":"https://openalex.org/C11799548","wikidata":"https://www.wikidata.org/wiki/Q6675847","display_name":"Loop tiling","level":3,"score":0.4299084544181824},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4294233024120331},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4214269518852234},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41569432616233826},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.33562642335891724},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.24686866998672485},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1624801754951477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13077634572982788},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s40747-023-01323-w","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s40747-023-01323-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s40747-023-01323-w.pdf","source":{"id":"https://openalex.org/S3035462843","display_name":"Complex & Intelligent Systems","issn_l":"2198-6053","issn":["2198-6053","2199-4536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex & Intelligent Systems","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:38dfb8d46e1f4171b47b382073256717","is_oa":true,"landing_page_url":"https://doaj.org/article/38dfb8d46e1f4171b47b382073256717","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Complex & Intelligent Systems, Vol 10, Iss 3, Pp 3235-3258 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s40747-023-01323-w","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s40747-023-01323-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s40747-023-01323-w.pdf","source":{"id":"https://openalex.org/S3035462843","display_name":"Complex & Intelligent Systems","issn_l":"2198-6053","issn":["2198-6053","2199-4536"],"is_oa":true,"is_in_doaj":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex & Intelligent Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1674466302","display_name":null,"funder_award_id":"2022A1515110058","funder_id":"https://openalex.org/F4320321921","funder_display_name":"Natural Science Foundation of Guangdong Province"},{"id":"https://openalex.org/G1937133522","display_name":null,"funder_award_id":"2022A1515011491","funder_id":"https://openalex.org/F4320321921","funder_display_name":"Natural Science Foundation of Guangdong Province"},{"id":"https://openalex.org/G4867680107","display_name":null,"funder_award_id":"2022A1515011551","funder_id":"https://openalex.org/F4320321921","funder_display_name":"Natural Science Foundation of Guangdong Province"},{"id":"https://openalex.org/G559039464","display_name":null,"funder_award_id":"z2kjD2220200","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G5616303258","display_name":null,"funder_award_id":"62006053","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6808554491","display_name":null,"funder_award_id":"62276103","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8058912846","display_name":null,"funder_award_id":"2020ZYGXZR014","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G988927737","display_name":null,"funder_award_id":"2020A1515010696","funder_id":"https://openalex.org/F4320321921","funder_display_name":"Natural Science Foundation of Guangdong Province"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321921","display_name":"Natural Science Foundation of Guangdong Province","ror":null},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4391173098.pdf"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W1270057541","https://openalex.org/W1484287363","https://openalex.org/W1533493347","https://openalex.org/W1544309315","https://openalex.org/W1595159159","https://openalex.org/W1969065560","https://openalex.org/W1971650562","https://openalex.org/W1979866694","https://openalex.org/W1993760289","https://openalex.org/W2021418037","https://openalex.org/W2027422213","https://openalex.org/W2032153666","https://openalex.org/W2039893305","https://openalex.org/W2047348251","https://openalex.org/W2056732900","https://openalex.org/W2063780456","https://openalex.org/W2096449544","https://openalex.org/W2104000753","https://openalex.org/W2109276114","https://openalex.org/W2109596254","https://openalex.org/W2110311336","https://openalex.org/W2113923750","https://openalex.org/W2114869486","https://openalex.org/W2121823022","https://openalex.org/W2126105956","https://openalex.org/W2149321161","https://openalex.org/W2153418968","https://openalex.org/W2156633971","https://openalex.org/W2159856414","https://openalex.org/W2165014243","https://openalex.org/W2469366756","https://openalex.org/W2474562651","https://openalex.org/W2521768540","https://openalex.org/W2586946380","https://openalex.org/W2605553599","https://openalex.org/W2778319809","https://openalex.org/W2804003629","https://openalex.org/W2883004077","https://openalex.org/W2886667264","https://openalex.org/W2888468285","https://openalex.org/W2888495597","https://openalex.org/W2934819789","https://openalex.org/W2947681553","https://openalex.org/W2995389513","https://openalex.org/W3033397011","https://openalex.org/W3037378364","https://openalex.org/W3098557859","https://openalex.org/W3119972155","https://openalex.org/W3136521622","https://openalex.org/W3144876566","https://openalex.org/W3162311522","https://openalex.org/W3163786145","https://openalex.org/W3205083328","https://openalex.org/W3206750510","https://openalex.org/W3211257750","https://openalex.org/W4206838052","https://openalex.org/W4229029249","https://openalex.org/W4234542549","https://openalex.org/W4298330243","https://openalex.org/W4319717686"],"related_works":["https://openalex.org/W2461570336","https://openalex.org/W2131157060","https://openalex.org/W4313447549","https://openalex.org/W2034553498","https://openalex.org/W4381785649","https://openalex.org/W2520014774","https://openalex.org/W4295918990","https://openalex.org/W2991649730","https://openalex.org/W4226494072","https://openalex.org/W4386365953"],"abstract_inverted_index":{"Abstract":[0],"Generating":[1],"test":[2,58,86,122,152,160,179,231],"cases":[3,123,161,180],"is":[4,16,137,156,173,254],"essential":[5],"for":[6,57,162,188,239],"discovering":[7],"software":[8,217],"bugs.":[9,64],"However,":[10],"finding":[11,62,77,237,294],"bugs":[12,20,78,295],"in":[13,45,54,76,235,264,296],"multi-path":[14,80,240,297],"loops":[15],"challenging,":[17],"especially":[18],"when":[19,38,293],"can":[21,279],"only":[22],"be":[23],"exposed":[24],"after":[25],"a":[26,84,104,129,147,150,169,189],"specific":[27],"interleaving":[28],"execution":[29],"order.":[30],"Furthermore,":[31],"the":[32,39,71,118,182,185,197,214,244,247,257,265,275,282],"number":[33],"of":[34,48,73,94,120,143,184,192,246,285],"paths":[35,93,109,127,145],"increases":[36],"exponentially":[37],"iteration":[40],"count":[41],"increases.":[42],"It":[43],"results":[44,224,270],"running":[46],"out":[47],"resources":[49],"(e.g.,":[50],"allocated":[51],"search":[52,186],"budget)":[53],"existing":[55,74],"algorithms":[56,75,234,287],"case":[59,87,153,232],"generation":[60,88,154,233],"before":[61],"program":[63],"To":[65,97,242],"overcome":[66],"these":[67],"challenges":[68],"and":[69,208,220],"improve":[70],"effectiveness":[72,245],"among":[79],"loops,":[81],"we":[82,101,116],"propose":[83],"path-oriented":[85],"framework":[89,155],"to":[90,124,139,158,175],"explore":[91],"loop":[92,108,126,144,164],"bounded":[95],"depth.":[96],"fulfill":[98],"this":[99,167,260],"task,":[100],"first":[102],"present":[103],"method":[105],"that":[106,226,274],"groups":[107],"based":[110],"on":[111,216],"their":[112],"latent":[113],"similarities.":[114],"Then,":[115],"formulate":[117],"problem":[119,136],"generating":[121],"cover":[125],"as":[128,289],"many-objective":[130,134,151],"optimization":[131,135,283],"one.":[132],"The":[133,222,267],"designed":[138],"optimize":[140],"one":[141],"group":[142,191],"at":[146,181],"time.":[148],"Finally,":[149],"used":[157],"generate":[159],"covering":[163],"paths.":[165,193],"In":[166],"framework,":[168],"knowledge":[170,199,249,276],"transfer":[171,200,250,277],"scheme":[172,201,261,278],"incorporated":[174],"reuse":[176],"suitable":[177],"archived":[178],"start":[183],"process":[187,284],"similar":[190],"We":[194],"have":[195],"implemented":[196],"proposed":[198,248],"with":[202,211,256],"generalized":[203,290],"differential":[204,291],"evolution":[205,292],"3":[206],"(KT-GDE3)":[207],"evaluated":[209],"it":[210],"benchmarks":[212],"from":[213],"competition":[215],"verification":[218],"(SV-COMP16":[219],"SV-COMP21).":[221],"experimental":[223,269],"show":[225],"KT-GDE3":[227],"outperforms":[228],"alternative":[229],"search-based":[230],"bug":[236],"capability":[238],"loops.":[241,298],"evaluate":[243],"scheme,":[251],"our":[252,272],"approach":[253],"compared":[255],"variant":[258],"without":[259],"(called":[262],"KT-GDE3-unarchived)":[263],"benchmarks.":[266],"corresponding":[268],"verify":[271],"assumption":[273],"significantly":[280],"enhance":[281],"multi-objective":[286],"such":[288]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}