Test Generation for the Specification Written in Estelle.
Do Y. LeeJai-Yong LeePublished in: PSTV (1991)
Keyphrases
- test generation
- test cases
- symbolic execution
- static analysis
- test sequences
- design automation
- mutation testing
- quality assurance
- test data generation
- specification language
- software testing
- relational databases
- high quality
- business rules
- software development
- information systems
- artificial intelligence
- code coverage
- databases