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]
Abstract is missing.