Институт системного программирования им. В.П. Иванникова РАН


Directed Generation of Test Data for Static Semantics Checker.

Авторы

M.V. Arkhipova, S.V. Zelenov.

Издание

ISoLA 2008. Communications in Computer and Information Science, vol. 17, Springer Berlin Heidelberg, 2009, 753-768.

Научная группа

Технологии программирования

Все публикации за 2009 год Все публикации