Build code analysis with symbolic evaluation

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]

Authors

Ahmed Tamrawi

This author has not been identified. Look up 'Ahmed Tamrawi' in Google

Hoan Anh Nguyen

This author has not been identified. Look up 'Hoan Anh Nguyen' in Google

Hung Viet Nguyen

This author has not been identified. Look up 'Hung Viet Nguyen' in Google

Tien N. Nguyen

This author has not been identified. Look up 'Tien N. Nguyen' in Google