From uncertainty to belief: Inferring the specification within (2006)

by Ted Kremenek , Paul Twohey , Godmar Back , Andrew Ng , Dawson Engler
Venue:In ”Proceedings of the Seventh Symposium on Operating Systems Design and Implemetation
Citations:57 - 0 self