A novel formal approach to generate high-level test vectors without ILP and SAT solvers.
Bijan AlizadehMasahiro FujitaPublished in: HLDVT (2007)
Keyphrases
- sat solvers
- high level
- propositional satisfiability
- sat solving
- boolean satisfiability
- orders of magnitude
- inductive logic programming
- max sat
- search strategies
- constraint satisfaction
- search space
- search tree
- sat problem
- sat instances
- search engine
- boolean formula
- clause learning
- evolutionary algorithm
- sat encodings
- genetic algorithm
- weighted max sat