RUS
ENG
Full version
PEOPLE
Andrianova Aleftina Aleksandrovna
Publications in Math-Net.Ru
Source code and partial specifications analysis for automated generation of unit tests
Sistemy i Sredstva Inform.
,
24
:2 (2014),
99–113
©
Steklov Math. Inst. of RAS
, 2026
