@article{article, title = {{Generating a checking sequence with a minimum number of reset transitions}}, publisher = {{Springer Science and Business Media LLC}}, url = {{}}, year = {{2010}}, month = {{1}}, author = {{Hierons RM and Ural H}}, doi = {{10.1007/s10515-009-0061-0}}, volume = {{17}}, journal = {{Automated Software Engineering}}, issue = {{3}}, pages = {{217-250}}, note = {{Accessed on 2025/04/14}}}