Combinational test generation using satisfiability.
Paul R. StephanRobert K. BraytonAlberto L. Sangiovanni-VincentelliPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1996)
Keyphrases
- test generation
- test cases
- satisfiability problem
- test sequences
- symbolic execution
- propositional logic
- computational complexity
- static analysis
- mutation testing
- phase transition
- np complete
- quality assurance
- design automation
- software testing
- data sets
- software development
- image processing
- test data generation
- open source
- cnf formula
- databases