Оценка эффективности статического анализа для поиска дефектов естественной семантики программных объектов
статья из журнала