Milos Gligoric Tihomir Gvero Vilas Jagannath Sarfraz Khurshid Viktor Kuncak Darko Marinov Test generation through programming in UDITA. 225-234 2010 ICSE (1) http://doi.acm.org/10.1145/1806799.1806835 conf/icse/2010-1 db/conf/icse/icse2010-1.html#GligoricGJKKM10