Semi-Formal Test Generation for a Block of Industrial DSP.
Julia DushinaMike BenjaminDaniel GeistPublished in: VTS (2001)
Keyphrases
- test generation
- test cases
- symbolic execution
- signal processing
- design automation
- test sequences
- quality assurance
- static analysis
- digital signal processor
- digital signal processing
- industrial applications
- regression testing
- software testing
- mutation testing
- training set
- computational complexity
- multi agent
- code coverage
- formal specification
- information systems
- databases
- data sets
- database