@inproceedings{DBLP:conf/laser/WeiMO12,
  author    = {Yi Wei and
               Bertrand Meyer and
               Manuel Oriol},
  title     = {Is Branch Coverage a Good Measure of Testing Effectiveness?},
  booktitle = {LASER Summer School},
  year      = {2012},
  pages     = {194-212},
  ee        = {http://dx.doi.org/10.1007/978-3-642-25231-0_5},
  crossref  = {DBLP:conf/laser/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}