Rapid Embedded System Testing Using Verification Patterns.
Wei-Tek TsaiLian YuFeng ZhuRaymond A. PaulPublished in: IEEE Softw. (2005)
Keyphrases
- symbolic execution
- formal verification
- pattern analysis
- pattern discovery
- model checking
- frequent patterns
- pattern mining
- machine learning
- data mining techniques
- evolutionary algorithm
- genetic algorithm
- software engineering
- search algorithm
- data structure
- information systems
- interesting patterns
- asynchronous circuits
- information retrieval