Cost evaluation of coverage directed test generation for the IBM mainframe. - Gilly Nativ; Steven Mittermaier; Shmuel Ur; Avi Ziv (ITC, 2001)

Functional verification of the z990 superscalar, multibook microprocessor complex. - Dean G. Bair; Steven M. German; William D. Wollyung; Edward J. Kaminski Jr.; James Schafer; Michael P. Mullen; William J. Lewis; Rebecca Wisniewski; Joerg Walter; Steven Mittermaier; Visda Vokhshoori; Robert J. Adkins; et al. (IBM J. Res. Dev., 2004)

Reverse Coverage Analysis. - Ariel J. Birnbaum; Laurent Fournier; Steven Mittermaier; Avi Ziv (Haifa Verification Conference, 2011)