@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}, urltopdf = {/people/wei/papers/coverage.pdf}, bibsource = {DBLP, http://dblp.uni-trier.de} }