{"id":"https://openalex.org/W2078572323","doi":"https://doi.org/10.1007/bf02946521","title":"Deciding quasi-reducibility using witnessed test sets","display_name":"Deciding quasi-reducibility using witnessed test sets","publication_year":1999,"publication_date":"1999-03-01","ids":{"openalex":"https://openalex.org/W2078572323","doi":"https://doi.org/10.1007/bf02946521","mag":"2078572323"},"language":"en","primary_location":{"id":"doi:10.1007/bf02946521","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02946521","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"Journal of Computer Science and Technology","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/A5042917739","display_name":"Zhiqing Shao","orcid":"https://orcid.org/0000-0002-9606-7159"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqing Shao","raw_affiliation_strings":["Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200030, Shanghai, P.R. China","Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China","Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200030, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100585496","display_name":"Yongqiang Sun","orcid":"https://orcid.org/0009-0009-7680-552X"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongqiang Sun","raw_affiliation_strings":["Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","Department of Computer Science & Engineering, Shanghai Jiao Tong University, Shanghai, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]},{"raw_affiliation_string":"Department of Computer Science & Engineering, Shanghai Jiao Tong University, Shanghai, P. R. China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036677404","display_name":"Song Guo-xin","orcid":null},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoxin Song","raw_affiliation_strings":["Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, 200237, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058941949","display_name":"Huiqun Yu","orcid":"https://orcid.org/0000-0002-1899-1135"},"institutions":[{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huiqun Yu","raw_affiliation_strings":["Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200030, Shanghai, P.R. China","Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200030, Shanghai, P.R. China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, P.R. China","institution_ids":["https://openalex.org/I143593769"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.28847435,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"2","first_page":"146","last_page":"152"},"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.9991999864578247,"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.9991999864578247,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.988099992275238,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9627000093460083,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.8096761703491211},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7366315126419067},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.6997124552726746},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6194254159927368},{"id":"https://openalex.org/keywords/zh\u00e0ng","display_name":"Zh\u00e0ng","score":0.4918551445007324},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4869335889816284},{"id":"https://openalex.org/keywords/test-set","display_name":"Test set","score":0.4557892084121704},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3756800889968872},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2010079324245453},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17976385354995728}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8096761703491211},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7366315126419067},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.6997124552726746},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6194254159927368},{"id":"https://openalex.org/C2777045944","wikidata":"https://www.wikidata.org/wiki/Q12170198","display_name":"Zh\u00e0ng","level":3,"score":0.4918551445007324},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4869335889816284},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.4557892084121704},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3756800889968872},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2010079324245453},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17976385354995728},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C191935318","wikidata":"https://www.wikidata.org/wiki/Q148","display_name":"China","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf02946521","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02946521","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"Journal of Computer Science and Technology","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":4,"referenced_works":["https://openalex.org/W78705439","https://openalex.org/W1510724501","https://openalex.org/W2022701528","https://openalex.org/W2056774266"],"related_works":["https://openalex.org/W2364559953","https://openalex.org/W2375840727","https://openalex.org/W2389678104","https://openalex.org/W2375137083","https://openalex.org/W2380507695","https://openalex.org/W2367687999","https://openalex.org/W2387562377","https://openalex.org/W2384722335","https://openalex.org/W2376544228","https://openalex.org/W2371486229"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-24T06:01:01.537669","created_date":"2025-10-10T00:00:00"}