The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Development, Assessment, and Reengineering of Language Descriptions
CSMR '00 Proceedings of the Conference on Software Maintenance and Reengineering
Current Parsing Techniques in Software Renovation Considered Harmful
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering
Automatic generation of random self-checking test cases
IBM Systems Journal
Programming and Computing Software
Test Criteria for Context-Free Grammars
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Survey of compiler testing methods
Programming and Computing Software
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Generation of Positive and Negative Tests for Parsers
Programming and Computing Software
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution
Proceedings of the 2008 ACM symposium on Applied computing
Automatability of Coupled Evolution of Metamodels and Models in Practice
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Using abstract models for the generation of test data with a complex structure
Programming and Computing Software
Membrane Computing
An Introduction to Grammar Convergence
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
A Case Study in Grammar Engineering
Software Language Engineering
An intermediate representation approach to reducing test suites for retargeted compilers
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Science of Computer Programming
Math word question generation for training the students with learning difficulties
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
A random testing approach using pushdown automata
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Journal of Systems and Software
Integrated language definition testing: enabling test-driven language development
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Controllable combinatorial coverage in grammar-based testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Towards model-driven testing of a web application generator
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Automated generation of positive and negative tests for parsers
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Comparison of context-free grammars based on parsing generated test data
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Automation of avionic systems testing
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Model-based testing of optimizing compilers
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Model transformation testing: the state of the art
Proceedings of the First Workshop on the Analysis of Model Transformations
Hi-index | 0.00 |
Grammar testing is discussed in the context of grammar engineering (i.e., software engineering for grammars). We propose a generalisation of the known rule coverage for grammars, that is, context-dependent branch coverage. We investigate grammar testing, especially coverage analysis, test set generation, and integration of testing and grammar transformations. Grammar recovery is chosen as a subfield of grammar engineering to illustrate the developed concepts. Grammar recovery is concerned with the derivation of a language's grammar from some available resource such as a semi-formal language reference.