Illegal State Space Identification for Sequential Circuit Test Generation.
M. H. KonijnenburgJ. Th. van der LindenAd J. van de GoorPublished in: DATE (1999)
Keyphrases
- test generation
- state space
- test cases
- static analysis
- symbolic execution
- test sequences
- design automation
- mutation testing
- quality assurance
- high speed
- heuristic search
- state variables
- software testing
- reinforcement learning
- particle filter
- computer vision
- databases
- data sets
- database
- object oriented
- dynamical systems
- quality control
- software engineering
- dynamic programming
- multi agent systems
- software development
- test data generation