Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
Авторы:
Аннотация:
Разработан комплексный подход к обнаружению программных дефектов, основывающийся на расширении статического анализа методом проверки моделей. Показана применимость подхода на примере задачи обнаружения ошибок протоколов вызова.