From Uncertainty to Belief: Inferring the Specification Within.

Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson R. Engler

Browse the full OSDI paper archive.