Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/icse/XiaoXTH11a
AU - Xiao, Xusheng
AU - Xie, Tao
AU - Tillmann, Nikolai
AU - Halleux, Jonathan de
TI - Covana: precise identification of problems in pex.
BT - Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011
SP - 1004
EP - 1006
PY - 2011//
DO - 10.1145/1985793.1985976
UR - https://doi.org/10.1145/1985793.1985976
ER -
