Marina Brik

• Investigation and development of test generation methods for control part of digital systems