@inproceedings{inproceedings, title  = {{Test generation for X-machines with non-terminal states and priorities of operations}},

 publisher = {{IEEE}},

 url = {{}},

 year = {{2011}},

 month = {{6}},

 author = {{Bogdanov KE}},

 doi = {{10.1109/ICST.2011.59}},

 note = {{Accessed on 2025/11/02}}}