{"id":"https://openalex.org/W2144037272","doi":"https://doi.org/10.1109/cmpsac.2004.1342847","title":"Test criteria for context-free grammars","display_name":"Test criteria for context-free grammars","publication_year":2004,"publication_date":"2004-11-08","ids":{"openalex":"https://openalex.org/W2144037272","doi":"https://doi.org/10.1109/cmpsac.2004.1342847","mag":"2144037272"},"language":"en","primary_location":{"id":"doi:10.1109/cmpsac.2004.1342847","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpsac.2004.1342847","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","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/A5100444602","display_name":"Hu Li","orcid":"https://orcid.org/0000-0002-0420-855X"},"institutions":[{"id":"https://openalex.org/I4210163738","display_name":"China Astronaut Research and Training Center","ror":"https://ror.org/001ycj259","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210163738"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hu Li","raw_affiliation_strings":["Software Engineering Institute, Beijing Aeronautics and Astronautics University, Beijing, China","Software Eng. Inst., Beijing Univ. of Aeronaut. & Astronaut"],"affiliations":[{"raw_affiliation_string":"Software Engineering Institute, Beijing Aeronautics and Astronautics University, Beijing, China","institution_ids":[]},{"raw_affiliation_string":"Software Eng. Inst., Beijing Univ. of Aeronaut. & Astronaut","institution_ids":["https://openalex.org/I4210163738"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000429923","display_name":"Jin Maozhong","orcid":null},"institutions":[{"id":"https://openalex.org/I4210163738","display_name":"China Astronaut Research and Training Center","ror":"https://ror.org/001ycj259","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210163738"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Maozhong Jin","raw_affiliation_strings":["Software Engineering Institute, Beijing Aeronautics and Astronautics University, Beijing, China","Software Eng. Inst., Beijing Univ. of Aeronaut. & Astronaut"],"affiliations":[{"raw_affiliation_string":"Software Engineering Institute, Beijing Aeronautics and Astronautics University, Beijing, China","institution_ids":[]},{"raw_affiliation_string":"Software Eng. Inst., Beijing Univ. of Aeronaut. & Astronaut","institution_ids":["https://openalex.org/I4210163738"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115590735","display_name":"Chao Liu","orcid":"https://orcid.org/0009-0008-7493-4638"},"institutions":[{"id":"https://openalex.org/I4210163738","display_name":"China Astronaut Research and Training Center","ror":"https://ror.org/001ycj259","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210163738"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chao Liu","raw_affiliation_strings":["Software Engineering Institute, Beijing Aeronautics and Astronautics University, Beijing, China","Software Eng. Inst., Beijing Univ. of Aeronaut. & Astronaut"],"affiliations":[{"raw_affiliation_string":"Software Engineering Institute, Beijing Aeronautics and Astronautics University, Beijing, China","institution_ids":[]},{"raw_affiliation_string":"Software Eng. Inst., Beijing Univ. of Aeronaut. & Astronaut","institution_ids":["https://openalex.org/I4210163738"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057647210","display_name":"Zhongyi Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I4210163738","display_name":"China Astronaut Research and Training Center","ror":"https://ror.org/001ycj259","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210163738"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhongyi Gao","raw_affiliation_strings":["Software Engineering Institute, Beijing Aeronautics and Astronautics University, Beijing, China","Software Eng. Inst., Beijing Univ. of Aeronaut. & Astronaut"],"affiliations":[{"raw_affiliation_string":"Software Engineering Institute, Beijing Aeronautics and Astronautics University, Beijing, China","institution_ids":[]},{"raw_affiliation_string":"Software Eng. Inst., Beijing Univ. of Aeronaut. & Astronaut","institution_ids":["https://openalex.org/I4210163738"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100444602"],"corresponding_institution_ids":["https://openalex.org/I4210163738"],"apc_list":null,"apc_paid":null,"fwci":0.767,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.76104226,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"22","issue":null,"first_page":"300","last_page":"305"},"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.9993000030517578,"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.9990000128746033,"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.7232797145843506},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.6470741629600525},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.6433728337287903},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6117252111434937},{"id":"https://openalex.org/keywords/adaptive-grammar","display_name":"Adaptive grammar","score":0.6098845601081848},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.5655640363693237},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48993629217147827},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.47817832231521606},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.46237537264823914},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44906795024871826},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4045798182487488},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3637135624885559},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3495635390281677},{"id":"https://openalex.org/keywords/affix-grammar","display_name":"Affix grammar","score":0.3446047604084015},{"id":"https://openalex.org/keywords/operator-precedence-grammar","display_name":"Operator-precedence grammar","score":0.3282414972782135},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21694308519363403},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.19064262509346008},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.16907000541687012}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7232797145843506},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.6470741629600525},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.6433728337287903},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6117252111434937},{"id":"https://openalex.org/C121017423","wikidata":"https://www.wikidata.org/wiki/Q4680743","display_name":"Adaptive grammar","level":5,"score":0.6098845601081848},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.5655640363693237},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48993629217147827},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.47817832231521606},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.46237537264823914},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44906795024871826},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4045798182487488},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3637135624885559},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3495635390281677},{"id":"https://openalex.org/C80364944","wikidata":"https://www.wikidata.org/wiki/Q4689005","display_name":"Affix grammar","level":3,"score":0.3446047604084015},{"id":"https://openalex.org/C131232501","wikidata":"https://www.wikidata.org/wiki/Q3113343","display_name":"Operator-precedence grammar","level":4,"score":0.3282414972782135},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21694308519363403},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.19064262509346008},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.16907000541687012},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/cmpsac.2004.1342847","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpsac.2004.1342847","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W25805819","https://openalex.org/W1491178396","https://openalex.org/W1983878972","https://openalex.org/W1997041205","https://openalex.org/W2027106228","https://openalex.org/W2045824418","https://openalex.org/W2154897437","https://openalex.org/W2913286805","https://openalex.org/W4243412374","https://openalex.org/W6601090441"],"related_works":["https://openalex.org/W2913286805","https://openalex.org/W2015056322","https://openalex.org/W2005435179","https://openalex.org/W2126134344","https://openalex.org/W2130127427","https://openalex.org/W2034950432","https://openalex.org/W2018349540","https://openalex.org/W3098700721","https://openalex.org/W2005860106","https://openalex.org/W3013856176"],"abstract_inverted_index":{"This":[0,29],"paper":[1,30,84],"discusses":[2],"the":[3,6,22,54,79,88],"formalization":[4],"of":[5,16,35,91],"test":[7,24,38,44,101],"adequacy":[8,94],"criterion":[9,25],"for":[10,99],"context-free":[11],"grammars.":[12],"The":[13],"basic":[14,58],"concept":[15],"grammar-based":[17,23,36,73],"testing":[18,74,93],"is":[19,26],"introduced":[20],"and":[21,43,67,95],"formally":[27],"defined.":[28],"also":[31],"proposes":[32],"a":[33],"family":[34],"structural":[37],"criteria":[39],"whose":[40],"subsume":[41],"relations":[42],"set":[45],"sizes":[46],"are":[47,50,65,75,96],"analyzed,":[48],"which":[49],"used":[51],"to":[52,72,87],"assess":[53],"proposed":[55,76],"criteria.":[56],"Some":[57],"properties":[59,70],"based":[60],"on":[61],"Weyuker's":[62],"axiom":[63],"systems":[64],"generalized":[66],"some":[68],"fundamental":[69],"specific":[71],"We":[77],"believe":[78],"concepts":[80],"developed":[81],"in":[82],"this":[83],"will":[85],"contribute":[86],"classical":[89],"theory":[90],"software":[92,100],"very":[97],"valuable":[98],"practice":[102]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-02-24T19:35:01.260952","created_date":"2025-10-10T00:00:00"}