The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles.
Franz WotawaVlad Andrei DumitruPublished in: IEA/AIE (2022)
Keyphrases
- model based diagnosis
- constraint solving
- constraint programming
- constraint satisfaction problems
- constraint propagation
- constraint logic programming
- constraint satisfaction
- model based reasoning
- fault localization
- dynamic systems
- discrete event systems
- constraint solver
- diagnostic reasoning
- consistency based diagnosis
- physical systems
- hardware designs
- combinatorial problems
- finite domain
- java programs
- global constraints
- repair actions
- database applications
- constraint solvers
- fault models
- np hard
- search space
- video sequences
- arc consistency
- complex systems
- np complete
- logic programming
- programming language
- object oriented
- knowledge representation