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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.