Relative Correctness: A Bridge Between Proving and Testing.

Wided Ghardallou Ali Mili Nafi Diallo

Published in: VECoS (2016)

Keyphrases

database systems
concurrent programs
clustering algorithm
test set
computer vision
decision making
case study
face recognition
cooperative
information technology
test cases
software testing