Superfit Combinational Elusive Bug Detection. - R. Barzin; S. Fukushima; William E. Howden; S. Sharifi (COMPSAC, 2008)