Generating Test Suites to Validate Legacy Systems. - Thomas Weigert; Alexander Kolchin; Stepan Potiyenko; Oleg Gurenko; Aswin van den Berg; Valentyn Banas; Roman Chetvertak; Roman Yagodka; Vlad Volkov (SAM, 2019)

Algebraic Virtual Machine and Its Applications. - Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Vlad Volkov (ICTERI (Revised Selected Papers), 2021)