Design Verification of the WE 32106 Math Accelerator Unit
IEEE Design & Test
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
An integrated general purpose automated test environment
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Test Case Generation as an AI Planning Problem
Automated Software Engineering
AI Planner Assisted Test Generation
Software Quality Control
Design of a 17-million gate network processor using a design factory
Proceedings of the 40th annual Design Automation Conference
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Increased Software Reliability Through Input Validation Analysis and Testing
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Programming and Computing Software
Survey of compiler testing methods
Programming and Computing Software
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Environment behavior models for scenario generation and testing automation
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Generation of Positive and Negative Tests for Parsers
Programming and Computing Software
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
Directed test generation using symbolic grammars
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Directed test generation using symbolic grammars
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Directed test generation using symbolic grammars
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
Extended interface grammars for automated stub generation
Proceedings of the second workshop on Automated formal methods
Generating Java unit tests with AI planning
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Grammar-based whitebox fuzzing
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Client and server verification for web services using interface grammars
TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deriving input syntactic structure from execution
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Using abstract models for the generation of test data with a complex structure
Programming and Computing Software
Automation of broad sanity test generation
Programming and Computing Software
Reducing the Costs of Bounded-Exhaustive Testing
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Efficient monitoring of parametric context-free patterns
Automated Software Engineering
Pure and declarative syntax definition: paradise lost and regained
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Representation dependence testing using program inversion
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Automated generation of web service stubs using LTL satisfiability solving
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
QuickCheck: a lightweight tool for random testing of Haskell programs
ACM SIGPLAN Notices
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
Consistency of stochastic context-free grammars
Mathematical and Computer Modelling: An International Journal
Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator
Proceedings of the 2012 Workshop on Dynamic Analysis
Comparison of context-free grammars based on parsing generated test data
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Automation of avionic systems testing
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
Test input generation using dynamic programming
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Hi-index | 0.01 |
The use of context-free grammars to improve functional testing of very-large-scale integrated circuits is described. It is shown that enhanced context-free grammars are effective tools for generating test data. The discussion covers preliminary considerations, the first tests, generating systematic tests, and testing subroutines. The author's experience using context-free grammars to generate tests for VLSI circuit simulators indicates that they are remarkably effective tools that virtually anyone can use to debug virtually any program.