{"id":"https://openalex.org/W2050790096","doi":"https://doi.org/10.1109/fskd.2012.6233882","title":"Design and implementation of automatic generator of DC-paths","display_name":"Design and implementation of automatic generator of DC-paths","publication_year":2012,"publication_date":"2012-05-01","ids":{"openalex":"https://openalex.org/W2050790096","doi":"https://doi.org/10.1109/fskd.2012.6233882","mag":"2050790096"},"language":"en","primary_location":{"id":"doi:10.1109/fskd.2012.6233882","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2012.6233882","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 9th International Conference on Fuzzy Systems and Knowledge Discovery","raw_type":"proceedings-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/A5100414996","display_name":"Zheng Li","orcid":"https://orcid.org/0000-0002-3938-7033"},"institutions":[{"id":"https://openalex.org/I132369690","display_name":"Tianjin University of Science and Technology","ror":"https://ror.org/018rbtf37","country_code":"CN","type":"education","lineage":["https://openalex.org/I132369690"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Li Zheng","raw_affiliation_strings":["School of Computer Science & Technology Tianjin University, Tianjin, China","School of Computer Science and Technology, Tianjin University China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science & Technology Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I132369690"]},{"raw_affiliation_string":"School of Computer Science and Technology, Tianjin University China","institution_ids":["https://openalex.org/I132369690"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101932283","display_name":"Gang Zhang","orcid":"https://orcid.org/0000-0003-3815-1974"},"institutions":[{"id":"https://openalex.org/I132369690","display_name":"Tianjin University of Science and Technology","ror":"https://ror.org/018rbtf37","country_code":"CN","type":"education","lineage":["https://openalex.org/I132369690"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Zhang","raw_affiliation_strings":["School of Computer Science & Technology Tianjin University, Tianjin, China","School of Computer Science and Technology, Tianjin University China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science & Technology Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I132369690"]},{"raw_affiliation_string":"School of Computer Science and Technology, Tianjin University China","institution_ids":["https://openalex.org/I132369690"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044955741","display_name":"Yonghua Li","orcid":"https://orcid.org/0000-0001-7935-9152"},"institutions":[{"id":"https://openalex.org/I196699116","display_name":"Wuhan University of Technology","ror":"https://ror.org/03fe7t173","country_code":"CN","type":"education","lineage":["https://openalex.org/I196699116"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yonghua Li","raw_affiliation_strings":["School of Computer Science & Technology Wuhan University of Technology, Wuhan, China","School of Computer Science and Technology, Wuhan University of Technology, China#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computer Science & Technology Wuhan University of Technology, Wuhan, China","institution_ids":["https://openalex.org/I196699116"]},{"raw_affiliation_string":"School of Computer Science and Technology, Wuhan University of Technology, China#TAB#","institution_ids":["https://openalex.org/I196699116"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100414996"],"corresponding_institution_ids":["https://openalex.org/I132369690"],"apc_list":null,"apc_paid":null,"fwci":0.38111917,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66377983,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"22","issue":null,"first_page":"2291","last_page":"2294"},"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.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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9988999962806702,"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/generator","display_name":"Generator (circuit theory)","score":0.7744622826576233},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7357701063156128},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.6877303123474121},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5522117018699646},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5373344421386719},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5106492638587952},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.47725364565849304},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47319766879081726},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.404697448015213},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.3867591619491577},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.36215418577194214},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2684401869773865},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13251882791519165},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1265105903148651},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.11289423704147339}],"concepts":[{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.7744622826576233},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7357701063156128},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.6877303123474121},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5522117018699646},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5373344421386719},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5106492638587952},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.47725364565849304},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47319766879081726},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.404697448015213},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.3867591619491577},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.36215418577194214},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2684401869773865},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13251882791519165},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1265105903148651},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.11289423704147339},{"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fskd.2012.6233882","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2012.6233882","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 9th International Conference on Fuzzy Systems and Knowledge Discovery","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320324638","display_name":"Wuhan University of Technology","ror":"https://ror.org/03fe7t173"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1975031108","https://openalex.org/W1985551847","https://openalex.org/W2029254184","https://openalex.org/W2124176833","https://openalex.org/W2126144212","https://openalex.org/W2154897437","https://openalex.org/W2361821380","https://openalex.org/W2541632641","https://openalex.org/W4252775433"],"related_works":["https://openalex.org/W2151163382","https://openalex.org/W4256382613","https://openalex.org/W59945861","https://openalex.org/W1484884871","https://openalex.org/W1551967076","https://openalex.org/W1549956274","https://openalex.org/W2084443973","https://openalex.org/W94523631","https://openalex.org/W2052160877","https://openalex.org/W2081768685"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3],"method":[4,13,53],"to":[5,21],"generate":[6],"DC-paths":[7,47,80],"(definition-clear":[8],"paths)":[9],"automatically.":[10],"Firstly,":[11],"this":[12,72],"makes":[14],"static":[15],"analysis":[16],"on":[17,71],"the":[18,23,29,32,35,40,46,55,59,62],"structured":[19],"program":[20,41],"get":[22],"defining":[24],"and":[25,31,67],"using":[26],"information":[27],"of":[28,34,49,61,79],"variables":[30],"structure":[33],"program.":[36],"Secondly,":[37],"it":[38,44],"draws":[39],"graph.":[42],"Thirdly,":[43],"generates":[45],"set":[48],"each":[50],"variable.":[51],"The":[52],"provides":[54],"testing":[56],"possibilities":[57],"between":[58],"extremes":[60],"typically":[63],"unattainable":[64],"All-Paths":[65],"criterion":[66],"All-DU-paths":[68],"criterion.":[69],"Based":[70],"method,":[73],"we":[74],"implemented":[75],"an":[76],"automatic":[77],"generator":[78],"for":[81],"data":[82],"flow":[83],"testing.":[84]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}