Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula.
Reliability Prediction of Electronic Boards by Analyzing Field Return Data Authors: Vehbi Cömert (Presenter) Mustafa Altun Hadi Yadavari Ertunç Ertürk.