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/12/23

ER  -