Busca avançada
Ano de início
Entree

Adenilso da Silva Simão

CV Lattes GoogleMyCitations ResearcherID ORCID


Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC)  (Instituição-sede da última proposta de pesquisa)
País de origem: Brasil

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá (1997), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2000) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2004). Realizou estágio de pós-doutoramento no Centre de Recherche Informatique de Montreal (2008-2010). Desde 2004 é Professor Titular da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, métodos formais e linguagens de programação. (Fonte: Currículo Lattes)

Auxílios à pesquisa
Bolsas no país
Bolsas no Exterior
Apoio FAPESP em números * Quantidades atualizadas em 06/06/2020
Colaboradores mais frequentes em auxílios e bolsas FAPESP
Contate o Pesquisador

Este canal da BV/FAPESP deve ser utilizado tão somente para mensagens, referentes aos projetos científicos financiados pela FAPESP.


 

 

 

 

Palavras-chave utilizadas pelo pesquisador
Publicações resultantes de Auxílios e Bolsas sob responsabilidade do(a) pesquisador(a) (4)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

Publicações4
Citações27
Cit./Artigo6,8
Dados do Web of Science

BELLI, FEVZI; ENDO, ANDRE TAKESHI; LINSCHULTE, MICHAEL; SIMAO, ADENILSO. A holistic approach to model-based testing of Web service compositions. SOFTWARE-PRACTICE & EXPERIENCE, v. 44, n. 2, p. 201-234, . Citações Web of Science: 10. (09/01486-9)

ENDO, ANDRE TAKESHI; SIMAO, ADENILSO. Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. INFORMATION AND SOFTWARE TECHNOLOGY, v. 55, n. 6, p. 1045-1062, . Citações Web of Science: 12. (09/01486-9, 12/02232-3)

SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 25, n. 3, SI, p. 310-332, . Citações Web of Science: 3. (08/04614-5, 10/02839-0, 13/01818-7, 09/04517-2)

PAIVA, SOFIA COSTA; SIMAO, ADENILSO. Generation of complete test suites from mealy input/output transition systems. FORMAL ASPECTS OF COMPUTING, v. 28, n. 1, p. 65-78, . Citações Web of Science: 2. (12/02232-3, 12/09650-5)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

SIMÃO, Adenilso da Silva. PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.. Dissertação (Mestrado) -  Instituto de Ciências Matemáticas e de Computação.  Universidade de São Paulo (USP).  São Carlos.  (97/13927-0

SIMÃO, Adenilso da Silva. Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas.  283 f. Tese (Doutorado) -  Instituto de Ciências Matemáticas e de Computação de São Carlos.  Universidade de São Paulo (USP).  São Carlos.  (00/00607-2

ENDO, André Takeshi. Model based testing of service oriented applications. Tese (Doutorado) -  Instituto de Ciências Matemáticas e de Computação.  Universidade de São Paulo (USP).  São Carlos.  (09/01486-9

ENDO, André Takeshi. Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos. Dissertação (Mestrado) -  Instituto de Ciências Matemáticas e de Computação.  Universidade de São Paulo (USP).  São Carlos.  (06/54464-4

BRITO, Maria Adelina Silva. Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentes. Dissertação (Mestrado) -  Instituto de Ciências Matemáticas e de Computação.  Universidade de São Paulo (USP).  São Carlos.  (09/04517-2

PINHEIRO, Arineiza Cristina. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. Dissertação (Mestrado) -  Instituto de Ciências Matemáticas e de Computação.  Universidade de São Paulo (USP).  São Carlos.  (10/04001-3

PORTO, Faimison Rodrigues. Predição de defeitos cruzada entre projetos apoiado por meta-aprendizado. Tese (Doutorado) -  Instituto de Ciências Matemáticas e de Computação.  Universidade de São Paulo (USP).  São Carlos.  (13/01084-3

PAIVA, Sofia Larissa da Costa. 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. Tese (Doutorado) -  Instituto de Ciências Matemáticas e de Computação.  Universidade de São Paulo (USP).  São Carlos.  (12/09650-5

Por favor, reporte erros na informação da página do pesquisador escrevendo para: cdi@fapesp.br.
X

Reporte um problema na página


Detalhes do problema: