Enumerative combinatorics
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Advanced compiler design and implementation
Advanced compiler design and implementation
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
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
Combinatorial Enumeration
Automated testing of refactoring engines
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Using ASM specifications for compiler testing
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Controllable combinatorial coverage in grammar-based testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Automated generation of positive and negative tests for parsers
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
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
Targeted data generation for application testing on databases
Programming and Computing Software
Hi-index | 0.00 |
An approach to the automatic generation of test data having a complex structure (such as XML documents, programs in various programming languages, and the like) is presented. It is based on abstract models that represent various views of the structure of the desired data. The approach enables one to generate small sets of test data for testing the functionality of the target system. The use of abstract models makes configuration of the generation procedure easy and clear; it also facilitates the maintenance and reuse of existing configurations of the test data generator. The approach was implemented in the test data generator called Pinery, which was successfully used in a number of projects including testing commercial C/C++ compilers.