Mohamed A. Salem

According to our database, Mohamed A. Salem authored at least 3 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Functional verification coverage closure.

Mohamed A. Salem

PhD thesis, 2015

Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights.

Mohamed A. Salem, Kerstin I. Eder

Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015

2013

Modified Condition Decision Coverage: A Hardware Verification Perspective.

Mohamed A. Salem, Kerstin I. Eder

Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013