An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours.
Alfred V. AhoAnton T. DahburaDavid LeeM. Ümit UyarPublished in: IEEE Trans. Commun. (1991)
Keyphrases
- test generation
- test sequences
- test cases
- symbolic execution
- protocol specification
- design automation
- mutation testing
- hidden markov models
- quality assurance
- static analysis
- rural areas
- software testing
- panel data
- developing countries
- communication protocols
- decision trees
- traveling salesman problem
- databases
- complex systems
- relational databases
- multi agent systems
- regression testing
- test data generation
- cooperative
- artificial intelligence
- machine learning