@inproceedings{DBLP:conf/sigsoft/CifuentesKLHVBZCTH11,
author = {Cristina Cifuentes and
Nathan Keynes and
Lian Li and
Nathan Hawes and
Manuel Valdiviezo and
Andrew Browne and
Jacob Zimmermann and
Andrew Craik and
Douglas Teoh and
Christian Hoermann},
title = {Static deep error checking in large system applications
using parfait},
booktitle = {SIGSOFT FSE},
year = {2011},
pages = {432-435},
ee = {http://doi.acm.org/10.1145/2025113.2025183},
crossref = {DBLP:conf/sigsoft/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigsoft/2011,
editor = {Tibor Gyim{\'o}thy and
Andreas Zeller},
title = {SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE-19) and ESEC'11: 13rd European
Software Engineering Conference (ESEC-13), Szeged, Hungary,
September 5-9, 2011},
booktitle = {SIGSOFT FSE},
publisher = {ACM},
year = {2011},
isbn = {978-1-4503-0443-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}