Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto - Bonifácio, Adilson Luiz, 1974- (2009)
Orientador: Arnaldo Vieira Moura