Superfit Combinational Elusive Bug Detection.

R. Barzin, S. Fukushima, William E. Howden, S. Sharifi

Browse the full COMPSAC paper archive.