Gligoric, MilosGvero, TihomirJagannath, VilasKhurshid, SarfrazKuncak, ViktorMarinov, Darko2010-02-142010-02-142010-02-14201010.1145/1806799.1806835https://infoscience.epfl.ch/handle/20.500.14299/47385Test Generation through Programming in UDITAtext::conference output::conference proceedings::conference paper