Covana: precise identification of problems in pex.

Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Browse the full ICSE paper archive.