Test generation through programming in UDITA.

Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov

Browse the full ICSE paper archive.