Fault-detection experiments for sequential machines