WISE: Automated test generation for worst-case complexity.
Jacob BurnimSudeep JuvekarKoushik SenPublished in: ICSE (2009)
Keyphrases
- worst case
- test generation
- space complexity
- test cases
- upper bound
- average case
- np hard
- lower bound
- design automation
- symbolic execution
- pairwise
- error bounds
- mutation testing
- static analysis
- software testing
- computational complexity
- quality assurance
- test sequences
- regression testing
- database systems
- information systems
- object oriented
- training data
- complexity bounds
- database