1. Generate a set T of input sequences that distinguish all mutants in Figure 5.12 from machine M. 2. Show that any extra or missing state error in the implementation of design M will be detected by...

1. Generate a set T of input sequences that distinguish all mutants in Figure 5.12 from machine M.

2. Show that any extra or missing state error in the implementation of design M will be detected by at least one test generated using the W-method.

May 26, 2022