Conditional interpolation: making concurrent program verification more effective.

Jie Su Cong Tian Zhenhua Duan

Published in: ESEC/SIGSOFT FSE (2021)

Keyphrases

image processing
data sets
data mining
information retrieval
genetic algorithm
decision making
description logics
image reconstruction
cost effective
image interpolation