From Uncertainty to Belief: Inferring the Specification Within - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ted Kremenek' in GoogleThis author has not been identified. Look up 'Paul Twohey' in GoogleThis author has not been identified. Look up 'Godmar Back' in GoogleThis author has not been identified. Look up 'Andrew Y. Ng' in GoogleThis author has not been identified. Look up 'Dawson R. Engler' in Google

runs on WebDSL