A Logic System for Fault Test Generation.
Sheldon B. Akers Jr.Published in: IEEE Trans. Computers (1976)
Keyphrases
- test generation
- test cases
- test sequences
- symbolic execution
- fault diagnosis
- design automation
- static analysis
- modal logic
- logic programming
- fault detection
- software testing
- image processing
- quality assurance
- mutation testing
- regression testing
- databases
- object oriented
- test data generation
- query language
- fault model
- database