Um Ambiente para Detecção de Cenários Implícitos a partir de Rastros de Execução. - Felipe Cantal de Souza; Nabor C. Mendonça (SBES, 2007)