SMT-based Test Program Generation for Cache-memory Testing.


SMT-based Test Program Generation for Cache-memory Testing.

Авторы

E. Kornikhin.

Издание

East and West-2009, pp124-127.

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

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

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