On test generation through programming in UDITA. (2009)

by M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov