Testing and Active Learning of Resettable Finite-State Machines