Covana: Precise Identification of Problems in Pex

covonademo.pdf
PDF file

In  Proc. 33rd International Conference on Software Engineering (ICSE 2011), Demonstration

Details

TypeInproceedings
> Publications > Covana: Precise Identification of Problems in Pex