%0 Conference Paper %1 conf/icse/XiaoXTH11a %A Xiao, Xusheng %A Xie, Tao %A Tillmann, Nikolai %A de Halleux, Jonathan %B ICSE %D 2011 %E Taylor, Richard N. %E Gall, Harald C. %E Medvidovic, Nenad %I ACM %K dblp %P 1004-1006 %T Covana: precise identification of problems in pex. %U http://dblp.uni-trier.de/db/conf/icse/icse2011.html#XiaoXTH11a %@ 978-1-4503-0445-0

@inproceedings{conf/icse/XiaoXTH11a, added-at = {2018-11-06T00:00:00.000+0100}, author = {Xiao, Xusheng and Xie, Tao and Tillmann, Nikolai and de Halleux, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/209f70cb3d772bf5e1e934a562c7c8312/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2011}, editor = {Taylor, Richard N. and Gall, Harald C. and Medvidovic, Nenad}, ee = {https://doi.org/10.1145/1985793.1985976}, interhash = {8d7b7e55d19e677c521993458f68c34c}, intrahash = {09f70cb3d772bf5e1e934a562c7c8312}, isbn = {978-1-4503-0445-0}, keywords = {dblp}, pages = {1004-1006}, publisher = {ACM}, timestamp = {2018-11-07T14:46:04.000+0100}, title = {Covana: precise identification of problems in pex.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#XiaoXTH11a}, year = 2011 }