How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.
Paolo ArcainiAngelo GargantiniElvinia RiccobenePublished in: Comput. J. (2015)
Keyphrases
- test generation
- modulo theories
- boolean expressions
- sat solvers
- answer set programming
- test cases
- satisfiability modulo theories
- normal form
- software testing
- static analysis
- sat instances
- real valued
- quality assurance
- conjunctive queries
- sat problem
- databases
- logic programming
- database
- logic programs
- inverted lists
- mining frequent
- finite domain
- data model
- search space