Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
The design and implementation of a grammar-based data generator
Software—Practice & Experience
Generating Test Data with Enhanced Context-Free Grammars
IEEE Software
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
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
Specification Based Testing: Towards Practice
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Java Specification Extension for Automated Test Development
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Using abstract models for the generation of test data with a complex structure
Programming and Computing Software
Comparison of context-free grammars based on parsing generated test data
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
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
| Hi-index | 0.00 |
In this paper we describe a specification-based approach to automated generation of both positive and negative test sets for parsers. We propose coverage criteria definitions for such test sets and algorithms for generation of the test sets with respect to proposed coverage criteria. We also present practical results of the technique application to testing syntax analyzers of several languages including C and Java.