Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum. Controlling factors in evaluating path-sensitive error detection techniques. In Michal Young, Premkumar T. Devanbu, editors, Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006. pages 92-104, ACM, 2006. [doi]
Abstract is missing.