{"id":"https://openalex.org/W3049674210","doi":"https://doi.org/10.1109/tetci.2020.3013713","title":"Identification of Failure Regions for Programs With Numeric Inputs","display_name":"Identification of Failure Regions for Programs With Numeric Inputs","publication_year":2020,"publication_date":"2020-08-12","ids":{"openalex":"https://openalex.org/W3049674210","doi":"https://doi.org/10.1109/tetci.2020.3013713","mag":"3049674210"},"language":"en","primary_location":{"id":"doi:10.1109/tetci.2020.3013713","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tetci.2020.3013713","pdf_url":null,"source":{"id":"https://openalex.org/S4210210251","display_name":"IEEE Transactions on Emerging Topics in Computational Intelligence","issn_l":"2471-285X","issn":["2471-285X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Emerging Topics in Computational Intelligence","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/A5053562000","display_name":"Rubing Huang","orcid":"https://orcid.org/0000-0002-1769-6126"},"institutions":[{"id":"https://openalex.org/I115592961","display_name":"Jiangsu University","ror":"https://ror.org/03jc41j30","country_code":"CN","type":"education","lineage":["https://openalex.org/I115592961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rubing Huang","raw_affiliation_strings":["School of Computer Science and Communication Engineering, and Jiangsu Key Laboratory of Security Technology for Industrial Cyberspace, Jiangsu University, Zhenjiang, China"],"raw_orcid":"https://orcid.org/0000-0002-1769-6126","affiliations":[{"raw_affiliation_string":"School of Computer Science and Communication Engineering, and Jiangsu Key Laboratory of Security Technology for Industrial Cyberspace, Jiangsu University, Zhenjiang, China","institution_ids":["https://openalex.org/I115592961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101650869","display_name":"Weifeng Sun","orcid":"https://orcid.org/0000-0001-6013-1369"},"institutions":[{"id":"https://openalex.org/I115592961","display_name":"Jiangsu University","ror":"https://ror.org/03jc41j30","country_code":"CN","type":"education","lineage":["https://openalex.org/I115592961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weifeng Sun","raw_affiliation_strings":["School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang, China","institution_ids":["https://openalex.org/I115592961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035107113","display_name":"Tsong Yueh Chen","orcid":"https://orcid.org/0000-0003-3578-0994"},"institutions":[{"id":"https://openalex.org/I57093077","display_name":"Swinburne University of Technology","ror":"https://ror.org/031rekg67","country_code":"AU","type":"education","lineage":["https://openalex.org/I57093077"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Tsong Yueh Chen","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Swinburne University of Technology, Hawthorn, VIC, Australia"],"raw_orcid":"https://orcid.org/0000-0003-3578-0994","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Swinburne University of Technology, Hawthorn, VIC, Australia","institution_ids":["https://openalex.org/I57093077"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072886837","display_name":"Sebastian Ng","orcid":"https://orcid.org/0000-0002-2074-6673"},"institutions":[{"id":"https://openalex.org/I57093077","display_name":"Swinburne University of Technology","ror":"https://ror.org/031rekg67","country_code":"AU","type":"education","lineage":["https://openalex.org/I57093077"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Sebastian Ng","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Swinburne University of Technology, Hawthorn, VIC, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Swinburne University of Technology, Hawthorn, VIC, Australia","institution_ids":["https://openalex.org/I57093077"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063671391","display_name":"Jinfu Chen","orcid":"https://orcid.org/0000-0002-3124-5452"},"institutions":[{"id":"https://openalex.org/I115592961","display_name":"Jiangsu University","ror":"https://ror.org/03jc41j30","country_code":"CN","type":"education","lineage":["https://openalex.org/I115592961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinfu Chen","raw_affiliation_strings":["School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang, China"],"raw_orcid":"https://orcid.org/0000-0002-3124-5452","affiliations":[{"raw_affiliation_string":"School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang, China","institution_ids":["https://openalex.org/I115592961"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5965,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69895157,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"5","issue":"4","first_page":"651","last_page":"667"},"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.9997000098228455,"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.9991999864578247,"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/computer-science","display_name":"Computer science","score":0.6885759830474854},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6682894229888916},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.6596794724464417},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.6398773789405823},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49985814094543457},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.43772092461586},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.430576354265213},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18033772706985474},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13122090697288513},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09833180904388428}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6885759830474854},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6682894229888916},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.6596794724464417},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.6398773789405823},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49985814094543457},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.43772092461586},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.430576354265213},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18033772706985474},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13122090697288513},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09833180904388428},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tetci.2020.3013713","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tetci.2020.3013713","pdf_url":null,"source":{"id":"https://openalex.org/S4210210251","display_name":"IEEE Transactions on Emerging Topics in Computational Intelligence","issn_l":"2471-285X","issn":["2471-285X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Emerging Topics in Computational Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1308233889","display_name":null,"funder_award_id":"U1836116","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1321278395","display_name":"\u591a\u4fe1\u606f\u52a8\u6001\u62bd\u53d6\u3001\u878d\u5408\u4e0e\u5173\u8054\u7684\u56de\u5f52\u6d4b\u8bd5\u65b9\u6cd5\u7814\u7a76","funder_award_id":"61872167","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3057400716","display_name":null,"funder_award_id":"2019T120396","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G4770750849","display_name":null,"funder_award_id":"14JDG039","funder_id":"https://openalex.org/F4320321410","funder_display_name":"Jiangsu University"},{"id":"https://openalex.org/G8493328052","display_name":null,"funder_award_id":"61502205","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/F4320321410","display_name":"Jiangsu University","ror":"https://ror.org/03jc41j30"},{"id":"https://openalex.org/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W799559598","https://openalex.org/W1432718918","https://openalex.org/W1966030793","https://openalex.org/W1979868167","https://openalex.org/W1999109718","https://openalex.org/W2027243493","https://openalex.org/W2029664558","https://openalex.org/W2034112596","https://openalex.org/W2045002843","https://openalex.org/W2053752481","https://openalex.org/W2055447156","https://openalex.org/W2061095332","https://openalex.org/W2068996677","https://openalex.org/W2098639318","https://openalex.org/W2128776125","https://openalex.org/W2130274814","https://openalex.org/W2138138395","https://openalex.org/W2153504150","https://openalex.org/W2158586961","https://openalex.org/W2162373806","https://openalex.org/W2166033702","https://openalex.org/W2170224888","https://openalex.org/W2326510269","https://openalex.org/W2327714942","https://openalex.org/W2328734147","https://openalex.org/W2343875716","https://openalex.org/W2888466188","https://openalex.org/W2892536588","https://openalex.org/W3041931538","https://openalex.org/W3122945969","https://openalex.org/W4288614128"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2480201319","https://openalex.org/W2294325978","https://openalex.org/W2890345561"],"abstract_inverted_index":{"Failure":[0,18,69],"region,":[1,189],"where":[2],"failure-causing":[3,45,64,102],"inputs":[4,103],"reside,":[5],"has":[6],"provided":[7],"many":[8,15],"insights":[9],"to":[10,26,56,86,99,108,150],"enhance":[11],"testing":[12,16,36,193],"effectiveness":[13],"of":[14,68,92,111,166,175],"methods.":[17,153],"region":[19,60,91,114],"may":[20],"also":[21],"provide":[22,121],"some":[23],"important":[24,51],"information":[25],"support":[27,118],"other":[28],"processes":[29],"such":[30],"as":[31,106,115],"software":[32,40],"debugging.":[33],"When":[34],"a":[35,39,44,77,93,122,164,187],"method":[37],"detects":[38],"failure,":[41],"indicating":[42],"that":[43,104,181],"input":[46,95],"is":[47,53],"identified,":[48],"the":[49,58,109,112,155,159,191],"next":[50],"question":[52],"about":[54],"how":[55],"identify":[57,87,100,186],"failure":[59,90,113,176,188],"based":[61],"on":[62],"this":[63,73],"input,":[65],"i.e.,":[66],"Identification":[67],"Regions":[70],"(IFR).":[71],"In":[72,142,154],"paper,":[74],"we":[75,120,144,157],"introduce":[76],"new":[78],"IFR":[79],"strategy,":[80],"namely":[81,130],"Search":[82,132,138],"for":[83,133,139],"Boundary":[84,134,140],"(SB),":[85],"an":[88,146],"approximate":[89],"numeric":[94],"domain.":[96],"SB":[97,161],"attempts":[98],"additional":[101],"are":[105],"close":[107],"boundary":[110],"possible.":[116],"To":[117],"SB,":[119],"basic":[123],"procedure,":[124],"and":[125,136,169],"then":[126],"propose":[127],"two":[128],"methods,":[129],"Fixed-orientation":[131],"(FSB)":[135],"Diverse-orientation":[137],"(DSB).":[141],"addition,":[143],"implemented":[145],"automated":[147],"experimentation":[148],"platform":[149],"integrate":[151],"these":[152],"experiments,":[156],"evaluated":[158],"proposed":[160],"methods":[162,183],"using":[163],"series":[165],"simulation":[167],"studies":[168,171],"empirical":[170],"with":[172],"different":[173],"types":[174],"regions.":[177],"The":[178],"results":[179],"show":[180],"our":[182],"can":[184],"effectively":[185],"within":[190],"limited":[192],"resources.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}