Ted Kremenek Paul Twohey Godmar Back Andrew Y. Ng Dawson R. Engler From Uncertainty to Belief: Inferring the Specification Within. 161-176 2006 conf/osdi/2006 OSDI http://www.usenix.org/events/osdi06/tech/kremenek.html db/conf/osdi/osdi2006.html#KremenekTBNE06