Test criteria for context-free grammars

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2004, Pages 300-305

  Li, Hu ^a   Jin, Maozhong ^a   Liu, Chao ^a   Gao, Zhongyi ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; NATURAL LANGUAGE PROCESSING SYSTEMS; SET THEORY; SOFTWARE ENGINEERING; SPECIFICATIONS; TERMINOLOGY; VOCABULARY CONTROL;

CONTEXT-FREE LANGUAGES; GRAMMAR RECOVERY; GRAMMAR-BASED TESTING; SPECIFICATION-BASED CRITERIA;

CONTEXT FREE GRAMMARS;

EID: 18744380032     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. A.V. Aho, R.Sethi, and J.D. Ullman. Compiler principles, techniques, and tools, Addson-Wesley, Boston, MA, 1986.
2. R.Lämmel.Grammar testing.Proceedings of Fundamental approaches to Software Engineering (FASE 2001), number 2029 in LNCS, 2001, Springer-Verlag.
3. H. Zhu, P.A.V. Hall, and J.H.R. May. Software unit test coverage and adequacy. ACM Computing Surveys, vol.29, No. 4, December 1997, pp.366-427.
4. Zhu,H.A formal analysis of the subsume relation between software test adequacy criteria. IEEE transactions on Software Engineering, vol.22, No.4, April 1996, pp.248-255.
5. Weyuker, E.J. Axiomatizing software test dada adequacy. IEEE Transactions on Software Engineering. vol.12, No. 12, December 1986, pp.1128-1138.
6. Weyuker, E.J. The evaluation of program-based software test data adequacy criteria. ACM Communication, vol.31, No.6, June 1988, pp.668-675.
7. Paul Purdom. A sentence generator for testing parsers. Behaviour and Information Technology, vol.12, No.3, July 1972, pp.366-375.
8. rd Workshop on Attribute Grammars and their Applications (WAGA'2000), July 2000, pp.79-98.
9. J. Harm and R. Lämmel. Two-dimensional approximation coverage. Page TBA, TBA 2001.