Build code analysis with symbolic evaluation.

Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen

Browse the full ICSE paper archive.