Computer Algebra System as Test Generation System.
Satoshi HattoriPublished in: IEICE Trans. Inf. Syst. (2010)
Keyphrases
- test generation
- computer algebra
- test cases
- symbolic execution
- design automation
- theorem prover
- test sequences
- static analysis
- software testing
- quality assurance
- computer algebra systems
- mutation testing
- automated theorem provers
- artificial intelligence
- test data generation
- regression testing
- inference rules
- code coverage
- image processing