Nahla Mohamed, Mona Safar, Ayman M. Wahba, Ashraf Salem. Automatic test pattern generation for virtual hardware model using constrained symbolic execution. In 10th International Design & Test Symposium, IDT 2015, Dead Sea, Amman, Jordan, December 14-16, 2015. pages 149-150, IEEE, 2015. [doi]
@inproceedings{MohamedSWS15, title = {Automatic test pattern generation for virtual hardware model using constrained symbolic execution}, author = {Nahla Mohamed and Mona Safar and Ayman M. Wahba and Ashraf Salem}, year = {2015}, doi = {10.1109/IDT.2015.7396755}, url = {http://dx.doi.org/10.1109/IDT.2015.7396755}, researchr = {https://researchr.org/publication/MohamedSWS15}, cites = {0}, citedby = {0}, pages = {149-150}, booktitle = {10th International Design & Test Symposium, IDT 2015, Dead Sea, Amman, Jordan, December 14-16, 2015}, publisher = {IEEE}, isbn = {978-1-4673-9994-4}, }