@inproceedings{CiupaPretschnerOriolLeitnerMeyer08, author = {I. Ciupa and B. Meyer and M. Oriol and A. Pretschner}, title = {Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports}, journal = {ISSRE'08: The 19th IEEE International Symposium on Software Reliability Engineering}, year = {2008}, publisher = {Wiley Interscience}, }