Algorithms ror Designing Fault-Detection Experiments ror Sequential Machines | IEEE Journals & Magazine | IEEE Xplore