Grammar testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2029, Issue , 2001, Pages 201-216

  Lämmel, Ralf ^a,b  

^a CWI   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES;

BRANCH COVERAGE; CONTEXT DEPENDENT; COVERAGE ANALYSIS; GRAMMAR ENGINEERING; GRAMMAR RECOVERY; GRAMMAR TRANSFORMATION; SEMI-FORMAL LANGUAGES; TEST SET GENERATION;

INTEGRATION TESTING;

EID: 84944250318     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45314-8_15     Document Type: Conference Paper

References (15)

1. D. L. Bird and C. U. Munoz. Automatic generation of random self-checking test cases. IBM Systems Journal, 22(3):229-245, 1983.
2. A. Boujarwah and K. Saleh. Compiler test suite: evaluation and use in an automated test environment. Information and Software Technology, 36(10):607-614, 1994.
3. M. Brand, M. Sellink, and C. Verhoef. Current parsing techniques in software renovation considered harmful. In S. Tilley and G. Visaggio, editors, Proceedings of the sixth International Workshop on Program Comprehension, pages 108-117, 1998.
4. C. J. Burgess. The Automated Generation of Test Cases for Compilers. Software Testing, Verification and Reliability, 4(2):81-99, jun 1994.
5. M. de Jonge and J. Visser. Grammars as Contracts. In Proc. of GCSE 2000, LNCS, Erfurt, Germany, 2001. Springer-Verlag. to appear.
6. G. Ferrand. The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. In P. Fritzon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, volume 749 of Lecture Notes in Computer Science, pages 40-57. Springer-Verlag, 3-5 May 1993.
7. J. Harm and R. Lämmel. Two-dimensional Approximation Coverage. Informatica, 24(3), 2000.
8. J. Heering, P. R. H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF - Reference manual. SIGPLAN Notices, 24(11):43-75, 1989.
9. W. E. Howen. Weak Mutation testing and completeness of test sets. IEEE Transactions on Software Engineering, 8(4): 371-379, July 1982.
10. IBM Corporation. VS COBOL II Application Programming Language Reference, 1993. Release 4, Document number GC26-4047-07.
11. R. Lämmel and C. Verhoef. VS COBOL II Grammar Version 1.0.3. http://www.cwi.nl/~ralf/grammars, 1999-2001.
12. R. Lämmel and C. Verhoef. Semi-automatic Grammar Recovery. Submitted, available at http://www.cwi.nl/~ralf/, July 2000.
13. P. Purdom. A sentence generator for testing parsers. BIT, 12(3):366-375, 1972.
14. J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992.
15. M. Sellink and C. Verhoef. Development, assessment, and reengineering of language descriptions. In J. Ebert and C. Verhoef, editors, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering, pages 151-160. IEEE Computer Society, March 2000.