TY - JOUR T1 - Testing from a Finite-State Machine: Extending Invertibility to Sequences JO - The Computer Journal PY - 1997/01/01 AU - Hierons RM ED - DO - DOI: 10.1093/comjnl/40.4.220 PB - Oxford University Press (OUP) VL - 40 IS - 4 SP - 220 EP - 230 Y2 - 2024/10/23 ER -