@inproceedings {268819, author = {Ted Kremenek and Paul Twohey and Godmar Back and Andrew Ng}, title = {From Uncertainty to Belief: Inferring the Specification Within}, booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)}, year = {2006}, address = {Seattle, WA}, url = {https://www.usenix.org/conference/osdi-06/uncertainty-belief-inferring-specification-within}, publisher = {USENIX Association}, month = nov }