ICCAD-2016 CAD contest in large-scale identical fault search. - Tangent Wei; Luke Lin (ICCAD, 2016)