From Uncertainty to Belief: Inferring the Specification Within

@inproceedings{citeulike:2443970, author = {Kremenek, Ted and Twohey, Paul and Back, Godmar and Ng, Andrew Y. and Engler, Dawson R. }, booktitle = {OSDI}, citeulike-article-id = {2443970}, keywords = {machine\_learning, mc, source\_sink}, pages = {161--176}, posted-at = {2008-02-28 15:37:04}, priority = {2}, title = {From Uncertainty to Belief: Inferring the Specification Within}, url = {http://www.stanford.edu/\~{}engler/osdi2006-inference.pdf}, year = {2006} }

TY - CONF ID - citeulike:2443970 L3 - citeulike-article-id:2443970 EP - 176 TI - From Uncertainty to Belief: Inferring the Specification Within T2 - OSDI SP - 161 KW - machine_learning KW - mc KW - source_sink AU - Kremenek, Ted AU - Twohey, Paul AU - Back, Godmar AU - Ng, Andrew AU - Engler, Dawson PY - 2006/// UR - http://www.stanford.edu/~engler/osdi2006-inference.pdf ER -