@article{article, title = {{Testing methods for X-machines: a review}}, url = {{}}, year = {{2006}}, month = {{3}}, author = {{Bogdanov K and Holcombe M and Ipate F and Seed L and Vanak S}}, doi = {{10.1007/s00165-005-0085-6}}, volume = {{18}}, journal = {{FORM ASP COMPUT}}, issue = {{1}}, pages = {{3-30}}, note = {{Accessed on 2025/08/13}}}