Fault-based refinement-testing for CSP.
Ana CavalcantiAdenilso SimãoPublished in: Softw. Qual. J. (2019)
Keyphrases
- constraint satisfaction problems
- fault model
- constraint satisfaction
- fault diagnosis
- constraint propagation
- fault detection
- fault injection
- np hard
- decomposition methods
- search engine
- search space
- software engineering
- tree decompositions
- data sets
- arc consistency algorithm
- multiple faults
- search algorithm
- neural network