Test Generation through Programming in UDITA, (2010)

by M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov
Venue:in Proc. of ICSE 2010,