Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques. Automatic Test Generation for Space. In Alberto Simões, Ricardo Queirós, Daniela Carneiro da Cruz, editors, 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012. Volume 21 of OASICS, pages 185-203, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]
@inproceedings{CostaCH12,
title = {Automatic Test Generation for Space},
author = {Ulisses Araújo Costa and Daniela Carneiro da Cruz and Pedro Rangel Henriques},
year = {2012},
doi = {10.4230/OASIcs.SLATE.2012.185},
url = {http://dx.doi.org/10.4230/OASIcs.SLATE.2012.185},
researchr = {https://researchr.org/publication/CostaCH12},
cites = {0},
citedby = {0},
pages = {185-203},
booktitle = {1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012},
editor = {Alberto Simões and Ricardo Queirós and Daniela Carneiro da Cruz},
volume = {21},
series = {OASICS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-40-8},
}