Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Evaluation and testing of internet firewalls
International Journal of Network Management
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
A Test Generation Strategy for Pairwise Testing
IEEE Transactions on Software Engineering
Specification-Based Testing of Firewalls
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Fang: A Firewall Analysis Engine
SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
Software Fault Interactions and Implications for Software Testing
IEEE Transactions on Software Engineering
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Blowtorch: a framework for firewall test automation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Automatic generation of random self-checking test cases
IBM Systems Journal
Automatic generation of test cases
IBM Systems Journal
A Partial Test Oracle for XML Query Testing
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
Test Generation with Context Free Grammars and Covering Arrays
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
Grammar Based Testing of HTML Injection Vulnerabilities in RSS Feeds
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
Grammar-based test generation with YouGen
Software—Practice & Experience
Comparison of context-free grammars based on parsing generated test data
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Hi-index | 0.00 |
Grammar-based test generation (GBTG) has seen extensive study and practical use since the 1970s. GBTG was introduced to generate source code for testing compilers from context-free grammars specifying language syntax. More recently, GBTG has been applied to many other testing problems, including the generation of eXtensible Markup Language (XML) documents and the generation of packets for testing communications protocols. Recent research has shown how to integrate covering-array techniques such as pairwise testing into GBTG tools. While the integration offers considerable power to the tester, there are few practical demonstrations in the literature. We present two case studies showing how to use grammars and covering arrays for automated software testing. The first case study exposes HTML injection vulnerabilities in an RSS feed parser. The second case study determines the effectiveness of network firewalls when faced with TCP flag attacks. The case studies illustrate the use of covering arrays in a GBTG context, the use of visualization to understand large test logs, and the issues and tradeoffs in the design of fully automated GBTG test suites.