M Gligoric, T Gvero, V Jagannath… - 32nd ACM/IEEE …, 2010 - experts.illinois.edu
We present an approach for describing tests using non-deterministic test generation
programs. To write such programs, we introduce UDITA, a Java-based language with non …