Random test generation for fault detection and diagnosis.