External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Ulisses Araújo Costa

This author has not been identified. Look up 'Ulisses Araújo Costa' in Google

Daniela Carneiro da Cruz

This author has not been identified. Look up 'Daniela Carneiro da Cruz' in Google

Pedro Rangel Henriques

This author has not been identified. It may be one of the following persons: Look up 'Pedro Rangel Henriques' in Google
runs on