Test Generation through Programming in UDITA. - Gligoric, Milos; Gvero, Tihomir; Jagannath, Vilas; Khurshid, Sarfraz; Kuncak, Viktor; Marinov, Darko (ICSE: International Conference on Software Engineering, 2010)