Automatic Test Generation for Space

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]

Abstract

Abstract is missing.