My tools for finite-state machine induction and testing