Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging.
Tobias PaxianArmin BierePublished in: POS@SAT (2023)
Keyphrases
- sat solvers
- maximum satisfiability
- sat solving
- boolean satisfiability
- orders of magnitude
- sat problem
- upper bound
- source code
- software systems
- combinatorial optimization
- propositional satisfiability
- max sat
- software projects
- fault localization
- automatic classification
- search strategies
- constraint satisfaction
- branch and bound algorithm
- sat instances
- search space
- programs written
- neural network
- data mining applications
- combinatorial problems
- search strategy
- clause learning
- object oriented
- execution traces
- numerically stable
- search algorithm