Equivalence class verification and oracle-free testing using two-layer covering arrays.

D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Jose Torres-Jimenez

Browse the full ICST paper archive.