An Approach to Program Testing
ACM Computing Surveys (CSUR)
Transition network grammars for natural language analysis
Communications of the ACM
Softwear Reliability
Test procedures: A new approach to software verification
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ATLAS-An Automated Software Testing System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Requirements language processing for the effective testing of real-time systems
Proceedings of the software quality assurance workshop on Functional and performance issues
The automatic generation and execution of function test plans for electronic switching systems
Proceedings of the software quality assurance workshop on Functional and performance issues
A formalised technique for expressing compiler exercisers
ACM SIGPLAN Notices
Formal languages and their relation to automata
Formal languages and their relation to automata
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Automated test data generation using an iterative relaxation method
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Using production grammars in software testing
Proceedings of the 2nd conference on Domain-specific languages
Software requirements and acceptance testing
Annals of Software Engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
yagg: an easy-to-use generator for structured test inputs
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Using production grammars in software testing
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
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
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
Test scenario generation from a structured requirements specification
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
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
Hi-index | 0.00 |