%0 Conference Paper %1 conf/slate/CostaCH12 %A Costa, Ulisses Araújo %A da Cruz, Daniela Carneiro %A Henriques, Pedro Rangel %B SLATE %D 2012 %E Simões, Alberto %E Queirós, Ricardo %E da Cruz, Daniela Carneiro %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 185-203 %T Automatic Test Generation for Space. %U http://dblp.uni-trier.de/db/conf/slate/slate2012.html#CostaCH12 %V 21 %@ 978-3-939897-40-8

@inproceedings{conf/slate/CostaCH12, added-at = {2024-02-05T00:00:00.000+0100}, author = {Costa, Ulisses Araújo and da Cruz, Daniela Carneiro and Henriques, Pedro Rangel}, biburl = {https://www.bibsonomy.org/bibtex/20246f6cfbb450b48722aa849a0621b4a/dblp}, booktitle = {SLATE}, crossref = {conf/slate/2012}, editor = {Simões, Alberto and Queirós, Ricardo and da Cruz, Daniela Carneiro}, ee = {https://doi.org/10.4230/OASIcs.SLATE.2012.185}, interhash = {88a1f80a22d22608a483a93bd09acfe0}, intrahash = {0246f6cfbb450b48722aa849a0621b4a}, isbn = {978-3-939897-40-8}, keywords = {dblp}, pages = {185-203}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-10T00:40:33.000+0200}, title = {Automatic Test Generation for Space.}, url = {http://dblp.uni-trier.de/db/conf/slate/slate2012.html#CostaCH12}, volume = 21, year = 2012 }