Crash consistency validation made easy.

Yanyan Jiang Haicheng Chen Feng Qin Chang Xu Xiaoxing Ma Jian Lu

Published in: SIGSOFT FSE (2016)

Keyphrases

global constraints
artificial intelligence
consistency checking
path consistency
global consistency
real time
databases
real world
information retrieval
objective function
search algorithm
evolutionary algorithm
constraint networks
update operations