@inproceedings{dwyer:FSE06,
author = {Matthew~B.~Dwyer and Suzette~Person and Sebastian~Elbaum},
title = {Controlling Factors in Evaluating Path-sensitive Error Detection Techniques},
year = {2006},
month = nov,
booktitle = {Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering}
}