C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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