Библиографическое описание:Викторов, Д. С. Оценка эффективности статического анализа для поиска дефектов естественной семантики программных объектов = Effectiveness Evaluation of Static Analysis for Searching Natural Semantic Defects of Program Objects / Д. С. Викторов, Р. Е. Жидков. - Текст : непосредственный // Журнал Сибирского федерального университета. Техника и технологии. - 2019. - Т. 12, № 1. - С. 6-17 : рис. - Библиогр.: с. 16-17. - ISSN 1999-494X.
Аннотация:В статье проведена оценка эффективности статического анализа для поиска нового типа функциональных дефектов – дефектов естественной семантики программных объектов по показателям полноты и точности на основе математического аппарата теории вероятностей.