Completeness Criteria for Testing Elementary Program Functions.
William E. HowdenPublished in: ICSE (1981)
Keyphrases
- test cases
- symbolic execution
- search based software testing
- real time
- evaluation criteria
- program execution
- artificial intelligence
- information systems
- test generation
- selection criteria
- static analysis
- evolutionary algorithm
- software engineering
- relational databases
- expert systems
- image sequences
- web services
- learning algorithm
- information retrieval
- neural network