Programs, tests, and oracles: the foundations of testing revisited.
Matt StaatsMichael W. WhalenMats Per Erik HeimdahlPublished in: ICSE (2011)
Keyphrases
- test cases
- set of test cases
- test generation
- symbolic execution
- test suite
- test data generation
- test data
- software testing
- regression testing
- testing process
- statistical tests
- test set
- artificial intelligence
- control structures
- code coverage
- real time
- fixpoint
- databases
- statistically significant
- multiple choice
- active learning
- evolutionary algorithm
- item response theory