%0 Journal Article %T Testing from a Finite-State Machine: Extending Invertibility to Sequences %A Hierons, M.R. %J The Computer Journal %V 40 %N 4 %@ 0010-4620 %D 1997-01-01 %I Oxford University Press %~ DeepDyve