WIND presentation
MS Hard Case Pres
Property-Based Test Generation Li Tan, Oleg Sokolsky, and Insup Lee University of Pennsylvania