Using constraints to diagnose faulty spreadsheets.

Rui Abreu Birgit Hofer Alexandre Perez Franz Wotawa

Published in: Softw. Qual. J. (2015)

Keyphrases

model based diagnosis
fault diagnosis
optimal solution
relational databases
constraint satisfaction
database
real time
genetic algorithm
lower bound
pairwise
special case
linear constraints
labor intensive