7 Resultados para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Tese de Doutorado
|
|
Formal mutation testing in Circus process algebraAlberto, Alex Donizeti BetezBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-09-21Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Dissertação de Mestrado
|
|
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.Simão, Adenilso Da SilvaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo
|
|
Formal mutation testing for CircusAlex Alberto Ana Cavalcanti; Marie-Claude Gaudel; Adenilso da Silva SimãoInformation and Software Technology Amsterdam : Elsevier v. 81, p. 131-153, Jan. 2017Amsterdam 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2772735 )(Acessar) |
| 4 |
Material Type: Artigo de Congresso
|
|
Generating checking sequences for user defined fault modelsAlexandre Petrenko Adenilso da Silva Simão; IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (29. 2017 St. Petersburg, Russia)Lecture Notes in Computer Science (LNCS) Cham, SZ : Springer v. 10533, p. 320-325, 2017Cham, SZ Springer 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2864702 )(Acessar) |
| 5 |
Material Type: Artigo
|
|
An assessment of extended finite state machine test selection criteriaKhaled El-Fakih Adenilso da Silva Simão; Noshad Jadoon; José Carlos MaldonadoThe Journal of Systems and Software Amsterdm : Elsevier v. 123, p. 106-118, Jan. 2017Amsterdam 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2782530 )(Acessar) |
| 6 |
Material Type: Tese de Doutorado
|
|
Computational approaches for the discovery of significant genes in cancerCutigi, Jorge FranciscoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2021-07-27Acesso online |
| 7 |
Material Type: Tese de Doutorado
|
|
Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"Simão, Adenilso Da SilvaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2004-12-17Acesso online |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Engenharia De Software (6)
- Sistemas De Informação (3)
- Software Engineering (2)
- Mutation Testing (2)
- Análise De Mutantes (2)
- Formal Specification (1)
- Neoplasias (1)
- Cancer Mutation Data (1)
- Abordagem Computacional (1)
- Genômica Do Câncer (1)
- Cancer Genomics (1)
- Bioinformática Do Câncer (1)
- Gene Interaction Networks (1)
- Redes De Petri (1)
- Domain Specific Languages (1)
- Mutação Genética (1)
- Espeficicação Formal (1)
- Teste De Mutação (1)
- Dados De Mutação Em Câncer (1)
- Bioinformática (1)
-
Mais opções
Autor/Criador
- Maldonado, J (3)
- Alberto, A (2)
- IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (1)
- Jadoon, N (1)
- El-Fakih, K (1)
- Gauldel, M (1)
- Petrenko, A (1)
- Cutigi, J (1)
- Cavalcanti, A (1)
- Workshop deTeses e Dissertações em Andamento - ICMC/USP (1)
- Simpósio de Teses e Dissertações (1)
- Gaudel, M (1)
- Evangelista, A (1)
-
Mais opções
Idioma
- Inglês (5)
- Português (2)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 