The 'Completeness' of the Pascal Test Suite.
Zbigniew CiechanowiczA. C. De WeeverPublished in: Softw. Pract. Exp. (1984)
Keyphrases
- test suite
- test cases
- test suite reduction
- regression testing
- software testing
- static analysis
- number of test cases
- testing process
- mutation testing
- data quality
- case study
- black box
- formal proofs
- recognizing textual entailment
- databases
- test data
- object oriented
- d objects
- decision trees
- clustering algorithm
- artificial intelligence