| Title: |
Constrained-based symbolic execution on virtual models for functional coverage verification |
| Authors: |
NM Mohamed, A Wahba, M Safar, A Salem |
| Year: |
2015 |
| Keywords: |
Not Available |
| Journal/Conference: |
Computer Engineering & Systems (ICCES), |
| Volume: |
Not Available |
| Issue: |
Not Available |
| Pages: |
Not Available |
| Publisher: |
Computer Engineering & Systems (ICCES), 2015 Tenth International Conference ... |
| URL on Google: |
https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:yD5IFk8b50cC |
| Citations: |
Not Available |
| Paper Link: |
Not Available |
| Full paper |
Not Available |
|
