Protected IP-core test generation.
Alessandro FinFranco FummiPublished in: ACM Great Lakes Symposium on VLSI (2002)
Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- software testing
- design automation
- quality assurance
- static analysis
- mutation testing
- test data generation
- artificial intelligence
- real world
- database
- test suite
- manufacturing systems
- sensitive data
- software systems
- software engineering
- databases
- data sets
- code coverage