Automated Testing and Debugging of SAT and QBF Solvers.
Robert BrummayerFlorian LonsingArmin BierePublished in: SAT (2010)
Keyphrases
- software testing
- search based testing
- fully automated
- sat problem
- phase transition
- semi automated
- test data
- semi automatic
- test set
- max sat
- search algorithm
- constraint satisfaction
- search strategies
- case study
- satisfiability problem
- sat solvers
- np complete
- software engineering
- search space
- boolean satisfiability
- sat solving