Before revision:   The test generation problem has been shown to be related to certain properties of cycles in a set of graphs derived from cell truth table.
After revision:  Uniform-Testability, i.e. U-Testability has been defined and Reversible Heterogeneous ILAs have been characterized as U-Testable. The test generation problem has been shown to be related to certain properties of cycles in a set of graphs derived from cell truth table.