Constraint satisfaction techniques for diagnosing errors in design by contract software.
Rafael CeballosRafael Martinez GascaDiana BorregoPublished in: ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- user interface
- software architecture
- software design
- heuristic search
- special case
- constraint programming
- relaxation labeling
- phase transition
- design process
- lower bound
- software development
- neural network
- computer aided
- scheduling problem
- combinatorial problems
- evolutionary algorithm
- constraint solving
- constraint problems
- max csp