Test Generation and Fault Simulation for Cell Fault Model using Stuck-at Fault Model based Test Tools.
Mihalis PsarakisDimitris GizopoulosAntonis M. PaschalisPublished in: J. Electron. Test. (1998)
Keyphrases
- fault model
- test generation
- safety analysis
- test cases
- fault injection
- test sequences
- symbolic execution
- mutation testing
- model based diagnosis
- quality assurance
- software testing
- design automation
- case study
- code coverage
- static analysis
- fault diagnosis
- test data generation
- database systems
- database
- software engineering
- query processing
- fault models
- databases