Covana: Precise Identification of Problems in Pex

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

Details

Publication typeInproceedings
Published inProc. 33rd International Conference on Software Engineering (ICSE 2011), Demonstration
> Publications > Covana: Precise Identification of Problems in Pex