RUS
ENG
Full version
PEOPLE
Babushkin Alexey Alexandrovich
Publications in Math-Net.Ru
Automated testing of LLVM programs with complex input data structures
Proceedings of ISP RAS
,
34
:4 (2022),
49–62
©
Steklov Math. Inst. of RAS
, 2026
