@article{article, title = {{Testing from a Finite-State Machine: Extending Invertibility to Sequences}}, publisher = {{Oxford University Press (OUP)}}, url = {{}}, year = {{1997}}, month = {{1}}, author = {{Hierons RM}}, doi = {{10.1093/comjnl/40.4.220}}, volume = {{40}}, journal = {{The Computer Journal}}, issue = {{4}}, pages = {{220-230}}, note = {{Accessed on 2025/05/20}}}