FSMTEST: synthesis for testability and test generation of PLA-based FSM | Publicación