Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
Covana: precise identification of problems in pex
ICSE, 2011.
@inproceedings{ICSE-2011-XiaoXTH11a,
author = "Xusheng Xiao and Tao Xie and Nikolai Tillmann and Jonathan de Halleux",
booktitle = "{Proceedings of the 33rd International Conference on Software Engineering}",
doi = "10.1145/1985793.1985976",
editor = "Richard N. Taylor and Harald Gall and Nenad Medvidović",
isbn = "978-1-4503-0445-0",
pages = "1004--1006",
publisher = "{ACM}",
title = "{Covana: precise identification of problems in pex}",
year = 2011,
}
Tags: