Test generation through programming in UDITA


We present an approach for describing tests using non-deterministic <i>test generation programs</i>. To write such programs, we introduce UDITA, a Java-based language with non-deterministic choice operators and an interface for generating linked structures. We also describe new algorithms that generate concrete tests by efficiently exploring the space of… (More)
DOI: 10.1145/1806799.1806835


10 Figures and Tables


Citations per Year

106 Citations

Semantic Scholar estimates that this publication has 106 citations based on the available data.

See our FAQ for additional information.