Modified Condition Decision Coverage: A Hardware Verification Perspective. - Mohamed A. Salem; Kerstin I. Eder (MTV, 2013)

Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights. - Mohamed A. Salem; Kerstin I. Eder (MTV, 2015)

Functional verification coverage closure. - Mohamed A. Salem (2015)