A functional partitioning expert system for test sequences generation. - C. Delorme; P. Roux; L. Demians d'Archimbaud; Norbert Giambiasi; R. L'Bath; B. MacGee; R. Charroppin (DAC, 1985)