A novel assertions-based code coverage automatic CAD tool. - Hatem El-Kharashy; Mostafa Khamis; Amr Sala; Mohamed Korany (EUROCON, 2017)