Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming languageстатья

Информация о цитировании статьи получена из Scopus, Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 22 июля 2017 г.

Работа с статьей


[1] Kossatchev A. S., Kutter P., Posypkin M. A. Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language // Programming and Computer Software. — 2004. — Vol. 30, no. 4. — P. 218–229. [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть