TY  - RPRT
TI  - Automatic Test Generation for Space
AU  - Ulisses Araujo Costa
AU  - Daniela da Cruz
AU  - Pedro Rangel Henriques
PY  - 2012
DO  - 10.4230/oasics.slate.2012.185
UR  - https://arxiv.org/abs/1206.5104
ID  - 1206.5104
ER  -