The design and implementation of a grammar-based data generator
Software—Practice & Experience
Theories of programming languages
Theories of programming languages
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
CCured: type-safe retrofitting of legacy code
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generating Test Data with Enhanced Context-Free Grammars
IEEE Software
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Debugging via Run-Time Type Checking
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
Run-time type checking for binary programs
CC'03 Proceedings of the 12th international conference on Compiler construction
Survey of compiler testing methods
Programming and Computing Software
Hi-index | 0.00 |
A technique for an automated test generation for compilers, which is based on formal specifications of the programming language, is suggested. The technique makes it possible to generate tests correct from the dynamic semantics standpoint that do not depend on specific features (undefined or implementation-specific) of the semantics (the so-called strictly conforming tests). The application of the suggested technique to generating tests for C compilers is discussed in detail. For this purpose, a subset of C is defined the semantics of which, first, does not depend on the above-mentioned specific features and, second, possesses properties of type soundness and determinism, which guarantee the correct test execution for any implementation satisfying the C standard.