Ivannikov Institute for System Programming of the RAS


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

Authors

E. Kornikhin.

Edition

East and West-2009, pp124-127.

Research Group

Software Engineering

All publications during 2009 All publications