Architectural Verification of Large Multiprocessor Computers. - Ali Y. Duale; Theodore J. Bohizic; Dennis W. Wittig (PDPTA, 2004)

Pseudo-Random System Testing: Coverage Estimation and Enhancement. - Ali Y. Duale; Theodore J. Bohizic; Dennis W. Wittig (Software Engineering Research and Practice, 2005)