Boolean and Pseudo-Boolean Test Generation for Feedback Bridging Faults.
Michele FavalliMarcello DalpassoPublished in: IEEE Trans. Computers (2016)
Keyphrases
- test generation
- test cases
- mutation testing
- pseudo boolean
- integer linear programming
- combinatorial problems
- pseudo boolean constraints
- symmetry breaking
- software testing
- boolean functions
- static analysis
- quality assurance
- propositional satisfiability
- constraint programming
- case study
- exact solution
- logic programming
- high level