área de pesquisa Ana Maria Ambrosio CoFI ? uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais UM FRAMEWORK PARA VALIDAÇÃO AUTOMÁTICA DE MODELOS APLICADO AO SUBSISTEMA DE ENERGIA DE UM PICOSSATÉLITE
