{"id":"https://openalex.org/W2045427795","doi":"https://doi.org/10.1007/s00521-011-0568-8","title":"Testability transformation based on equivalence of target statements","display_name":"Testability transformation based on equivalence of target statements","publication_year":2011,"publication_date":"2011-03-31","ids":{"openalex":"https://openalex.org/W2045427795","doi":"https://doi.org/10.1007/s00521-011-0568-8","mag":"2045427795"},"language":"en","primary_location":{"id":"doi:10.1007/s00521-011-0568-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00521-011-0568-8","pdf_url":null,"source":{"id":"https://openalex.org/S147897268","display_name":"Neural Computing and Applications","issn_l":"0941-0643","issn":["0941-0643","1433-3058"],"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":"Neural Computing and Applications","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/A5101490563","display_name":"Dunwei Gong","orcid":"https://orcid.org/0000-0003-2838-4301"},"institutions":[{"id":"https://openalex.org/I25757504","display_name":"China University of Mining and Technology","ror":"https://ror.org/01xt2dr21","country_code":"CN","type":"education","lineage":["https://openalex.org/I25757504"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Dunwei Gong","raw_affiliation_strings":["School of Information and Electrical Engineering, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People\u2019s Republic of China","School of Information and Electrical Engineering, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"School of Information and Electrical Engineering, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I25757504"]},{"raw_affiliation_string":"School of Information and Electrical Engineering, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People's Republic of China","institution_ids":["https://openalex.org/I25757504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032656122","display_name":"Xiangjuan Yao","orcid":"https://orcid.org/0000-0003-3207-703X"},"institutions":[{"id":"https://openalex.org/I25757504","display_name":"China University of Mining and Technology","ror":"https://ror.org/01xt2dr21","country_code":"CN","type":"education","lineage":["https://openalex.org/I25757504"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangjuan Yao","raw_affiliation_strings":["College of Science, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People\u2019s Republic of China","School of Information and Electrical Engineering, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People\u2019s Republic of China","School of Information and Electrical Engineering, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"College of Science, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I25757504"]},{"raw_affiliation_string":"School of Information and Electrical Engineering, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People\u2019s Republic of China","institution_ids":["https://openalex.org/I25757504"]},{"raw_affiliation_string":"School of Information and Electrical Engineering, China University of Mining and Technology, 221116, Xuzhou, Jiangsu, People's Republic of China","institution_ids":["https://openalex.org/I25757504"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101490563"],"corresponding_institution_ids":["https://openalex.org/I25757504"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.6382,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.84907425,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"21","issue":"8","first_page":"1871","last_page":"1882"},"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.996399998664856,"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/T10533","display_name":"Teaching and Learning Programming","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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.6988864541053772},{"id":"https://openalex.org/keywords/testability","display_name":"Testability","score":0.6952723264694214},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.6637447476387024},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5559744238853455},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.499525785446167},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.49418166279792786},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44410398602485657},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36334946751594543},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23622894287109375},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2181420624256134},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.11088192462921143}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6988864541053772},{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.6952723264694214},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.6637447476387024},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5559744238853455},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.499525785446167},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.49418166279792786},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44410398602485657},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36334946751594543},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23622894287109375},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2181420624256134},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.11088192462921143},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00521-011-0568-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00521-011-0568-8","pdf_url":null,"source":{"id":"https://openalex.org/S147897268","display_name":"Neural Computing and Applications","issn_l":"0941-0643","issn":["0941-0643","1433-3058"],"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":"Neural Computing and Applications","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1484283249","https://openalex.org/W1505648523","https://openalex.org/W1578861446","https://openalex.org/W1584947061","https://openalex.org/W1789267495","https://openalex.org/W1968283232","https://openalex.org/W1971137495","https://openalex.org/W2003272000","https://openalex.org/W2010359356","https://openalex.org/W2011825780","https://openalex.org/W2017741580","https://openalex.org/W2040434142","https://openalex.org/W2056488032","https://openalex.org/W2061772659","https://openalex.org/W2066536303","https://openalex.org/W2071365726","https://openalex.org/W2082989483","https://openalex.org/W2085553299","https://openalex.org/W2101629181","https://openalex.org/W2104391419","https://openalex.org/W2116812773","https://openalex.org/W2124957665","https://openalex.org/W2157576327","https://openalex.org/W2293616642","https://openalex.org/W4229902182"],"related_works":["https://openalex.org/W2059330829","https://openalex.org/W2365767001","https://openalex.org/W1493324536","https://openalex.org/W2379147087","https://openalex.org/W2386767533","https://openalex.org/W2355215981","https://openalex.org/W2379165784","https://openalex.org/W2347219288","https://openalex.org/W2545322416","https://openalex.org/W2366221835"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}