Zyubin V., Liakh T. Model Checking of industrial control algorithms in combination with virtual objects // # 8, 2016
Yevtushenko N., Ermakov A. Increasing the fault coverage of tests derived against Extended Finite State Machines // # 7, 2016
Iakusheva S., Khritankov A., Harbachonak D. Metamorphic testing for generative artificial intelligence systems // # 22, 2023
