Test generation through programming in UDITA
Abstract
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-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 all executions of non-deterministic UDITA programs.
BibTeX
@inproceedings{Gligoric-al:ICSE10,
author = {Milos Gligoric and
Tihomir Gvero and
Vilas Jagannath and
Sarfraz Khurshid and
Viktor Kuncak and
Darko Marinov},
title = {Test generation through programming in {UDITA}},
booktitle = {ICSE (Part I)},
pages = {225--234},
publisher = {{ACM}},
year = {2010},
}