The BACK algorithm for sequential test generation.

Wu-Tung Cheng

Browse the full ICCD paper archive.