004.415.53

N. Yevtushenko A. Ermakov Increasing the fault coverage of tests derived against Extended Finite State Machines // System Informatics. — . — # 7.  — P. 23-32
S. Iakusheva A. Khritankov D. Harbachonak Metamorphic testing for generative artificial intelligence systems // System Informatics. — . — # 22.  — P. 37-44
V. Zyubin T. Liakh Model Checking of industrial control algorithms in combination with virtual objects // System Informatics. — . — # 8.  — P. 11-20
Subscribe to 004.415.53