Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT.
Bernhard K. AichernigChristian BurghardPublished in: ICTSS (2020)
Keyphrases
- formal semantics
- max sat
- logical language
- model based testing
- modelling language
- modeling language
- weighted max sat
- branch and bound algorithm
- test cases
- lower bound
- sat problem
- tabu search
- search algorithm
- sat solvers
- branch and bound
- first order logic
- satisfiability problem
- situation calculus
- linear programming
- software development
- neural network
- constraint satisfaction
- np complete
- testing process
- open source
- search space