Browsing by Author Safari, Mona

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
1-Feb-2016Automatic test pattern generation for virtual hardware model using constrained symbolic executionMohamed, Nahla; Safari, Mona; Wahba, Ayman ; Salem, Ashraf