Program Testing Complexity and Test Criteria.
Kuo-Chung TaiPublished in: IEEE Trans. Software Eng. (1980)
Keyphrases
- test cases
- set of test cases
- test suite
- software testing
- test generation
- symbolic execution
- test data generation
- testing process
- test data
- regression testing
- test case generation
- model based testing
- statistical tests
- test sequences
- white box testing
- space complexity
- real time
- evaluation criteria
- number of test cases
- worst case
- program execution
- code coverage
- computational complexity
- conjunctive query containment
- artificial intelligence
- search engine
- integration testing
- decision making
- database systems
- lower bound
- software systems
- decision problems
- memory requirements
- statistical significance