@article{article, title = {{Testing from a nondeterministic finite state machine using adaptive state counting}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, url = {{}}, year = {{2004}}, month = {{1}}, author = {{Hierons RM}}, doi = {{10.1109/tc.2004.85}}, volume = {{53}}, journal = {{IEEE Transactions on Computers}}, issue = {{10}}, pages = {{1330-1342}}, note = {{Accessed on 2025/05/31}}}