Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler. From Uncertainty to Belief: Inferring the Specification Within. In 7th Symposium on Operating Systems Design and Implementation (OSDI 06), November 6-8, Seattle, WA, USA. pages 161-176, USENIX Association, 2006. [doi]
Abstract is missing.