Inspec keywords: tree searching; computer testing; computational complexity

Other keywords: sequential test generation; simulation-based sequential test generation procedures; fault coverage; computational complexity; deterministic branch-and-bound process; functional test sequence reconstruction

Subjects: Performance evaluation and testing; Combinatorial mathematics; Computational complexity