Login / Signup
Nahla Mohamed
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Orders Of Magnitude
High Level
Database
Top Venues
IDT
</>
Publications
</>
Nahla Mohamed
,
Mona Safar
,
Ayman M. Wahba
,
Ashraf Salem
Automatic test pattern generation for virtual hardware model using constrained symbolic execution.
IDT
(2015)