The design and implementation of a grammar-based data generator
Software—Practice & Experience
mpC: a multi-paradigm programming language for massively parallel computers
ACM SIGPLAN Notices
Evolving algebras 1993: Lipari guide
Specification and validation methods
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Generating Test Data with Enhanced Context-Free Grammars
IEEE Software
Test Generation for Compilers and Other Formal Text Processors
Programming and Computing Software
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
Programming and Computing Software
An intermediate representation approach to reducing test suites for retargeted compilers
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
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
Comparison of context-free grammars based on parsing generated test data
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |
Compilers are used for creating executable modules for programs written in high-level languages; therefore, the presence of errors in a compiler is a serious danger for the quality of the software developed with the use of this compiler. As in the case of any other software, testing is one of the most important methods of quality control and error detection in compilers. The survey is devoted to methods for generating, running, and checking the quality of compiler test suites, which are based on formal specifications of the programming language syntax and semantics.