Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen. Build code analysis with symbolic evaluation. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 650-660, IEEE, 2012. [doi]
@inproceedings{TamrawiNNN12-0,
title = {Build code analysis with symbolic evaluation},
author = {Ahmed Tamrawi and Hoan Anh Nguyen and Hung Viet Nguyen and Tien N. Nguyen},
year = {2012},
doi = {10.1109/ICSE.2012.6227152},
url = {http://dx.doi.org/10.1109/ICSE.2012.6227152},
researchr = {https://researchr.org/publication/TamrawiNNN12-0},
cites = {0},
citedby = {0},
pages = {650-660},
booktitle = {34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland},
editor = {Martin Glinz and Gail C. Murphy and Mauro Pezzè},
publisher = {IEEE},
isbn = {978-1-4673-1067-3},
}