PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

by Adenilso da Silva Simão
Published 2000

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"

by Adenilso da Silva Simão
Published 2004

Feature Subset Selection and Instance Filtering for Cross-project Defect Prediction - Classification and Ranking

by Faimison Porto, Adenilso da Silva Simao
Published 2016-12-01

PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools

by Tatiana Sugeta, Adenilso da Silva Simao, Jose Carlos Maldonado, Maria Carolina Monard
Published 2002-06-01

Preface to the special issues devoted to CLEI 2015

by Hernán Astudillo, Dennis Barrios-Aranibar, Guillermo E. Calderón Ruiz, Héctor Cancela, Tony Clear, Nelly Condori-Fernández, Alex Cuadros, Diego Pinto-Roa, Adenilso da Silva Simao, Francisco Tirado, Yván Tupac
Published 2016-08-01

Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados

by Arineiza Cristina Pinheiro
Published 2012

Um estratégia para geração de seqüências de verificação para máquinas de estados finitos

by Paulo Henrique Ribeiro
Published 2010

Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos

by André Takeshi Endo
Published 2008

Sistema para testes de stress em uma carteira de opções de moedas

by Moreno Siqueira e Mello
Published 2017

Precificação de opções exóticas utilizando CUDA

by Felipe Boteon Calderaro
Published 2017

Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML

by Pedro Victor Pontes Pinheiro
Published 2014

Minimização de conjuntos de casos de teste para máquinas de estados finitos

by Lúcio Felippe de Mello Neto
Published 2008

Cross-project defect prediction with meta-Learning

by Faimison Rodrigues Porto
Published 2017

Avaliação de atributos de testabilidade para sistemas de suporte à decisão

by Marcos Fernando Geromini
Published 2016

Uma estratégia para a minimização de máquinas de estados finitos parciais

by Alex Donizeti Betez Alberto
Published 2009

Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem

by Ricardo Ramos de Oliveira
Published 2017

Uma estratégia para redução de conjuntos de sequências de teste para máquinas de estados finitos

by Jorge Francisco Cutigi
Published 2010

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

by Sofia Larissa da Costa Paiva
Published 2016

Evaluating finite state machine based testing methods on RBAC systems

by Carlos Diego Nascimento Damasceno
Published 2016

Estratégia para geração de sequencias de verificação para máquinas de estados finitos

by Faimison Rodrigues Porto
Published 2013