New approaches for passive testing using an Extended Finite State Machine specification. - Ana R. Cavalli; Caroline Gervy; Svetlana Prokopenko (Inf. Softw. Technol., 2003)