Validation and Test Case Generations for MSCs Using A Propositional SAT Solver.
Karl MeinkePublished in: SAM (2000)
Keyphrases
- test cases
- sat solvers
- model based testing
- clause learning
- boolean formula
- propositional theories
- sat solving
- test data
- propositional satisfiability
- propositional logic
- orders of magnitude
- test case selection
- constraint satisfaction
- boolean satisfiability
- software testing
- sat problem
- sat instances
- test suite
- regression testing
- max sat
- search space
- test case generation
- first order logic
- search strategies
- test set
- set of test cases
- testing process
- number of test cases
- object oriented
- conjunctive normal form
- sat encodings
- test suite reduction
- np complete
- information retrieval
- computational problems
- practical problems
- answer sets
- satisfiability problem
- heuristic search
- symmetry breaking
- computational complexity