| Title: |
Automatic test pattern generation for virtual hardware model using constrained symbolic execution |
| Authors: |
N Mohamed, M Safari, A Wahba, A Salem |
| Year: |
2015 |
| Keywords: |
Not Available |
| Journal/Conference: |
Not Available |
| Volume: |
Not Available |
| Issue: |
Not Available |
| Pages: |
149-150 |
| Publisher: |
2015 10th International Design & Test Symposium (IDT), 149-150 |
| URL on Google: |
https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:EUQCXRtRnyEC |
| Citations: |
Not Available |
| Paper Link: |
Not Available |
| Full paper |
Not Available |
|
