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
Cracking the 500-Language Problem
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
Can a parser be generated from examples?
Proceedings of the 2003 ACM symposium on Applied computing
Automation of broad sanity test generation
Programming and Computing Software
Automated evaluation of syntax error recovery
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.01 |
A methodology for automatic positive and negative test set generation for testing parsers is described. Coverage criteria for such test sets based on the model approach to testing are proposed. Methods for the generation of test sets satisfying these criteria are discussed. Results of the application of the proposed methodology for testing parsers for various languages including C and Java are presented.