Resultados de 1 a 10 de 38 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (37)
- Recursos Online (10)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papersAlexandre Petrenko Adenilso da Silva Simão; José Carlos MaldonadoPorto Alegre SBC 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2138153 ) e outros locais(Acessar) |
| 2 |
Material Type: Artigo de Congresso
|
|
Generating checking sequences for partial finite state machinesAdenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008Berlin Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo de Congresso
|
|
From test purposes to asynchronous test casesAdenilso da Silva Simão Alexandre Petrenko; International Conference on Software Testing, Verification, and Validation Workshops - ICSTW (3. 2010 Paris)Proceedings Los Alamitos : IEEE, 2010Los Alamitos IEEE 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1839475 ) e outros locais(Acessar) |
| 4 |
Material Type: Artigo
|
|
Fault coverage-driven incremental test generationAdenilso da Silva Simão Alexandre PetrenkoThe Computer Journal Advance Access Oxford : Oxford University Press v. 53, n. 9, ago 2010Oxford 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1773277 )(Acessar) |
| 5 |
Material Type: Artigo
|
|
Checking completeness of tests for finite state machinesAdenilso da Silva Simão Alexandre PetrenkoIEEE Transactions on Computers Los Alamitos : IEEE Computer Society v. 59, n. 8, p. 1023-1032, aug. 2010Los Alamitos 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Artigo
|
|
Fault coverage-driven incremental test generationAdenilso da Silva Simão Alexandre PetrenkoThe Computer Journal Advance Access Oxford : Oxford University Press v. 53, n. 9, ago 2010Oxford 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1773277 )(Acessar) |
| 7 |
Material Type: Artigo
|
|
Checking completeness of tests for finite state machinesAdenilso da Silva Simão Alexandre PetrenkoIEEE Transactions on Computers Los Alamitos : IEEE Computer Society v. 59, n. 8, p. 1023-1032, aug. 2010Los Alamitos 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Artigo
|
|
Generating asynchronous test cases from test purposesAdenilso da Silva Simão Alexandre PetrenkoInformation and Software Technology Amsterdam : Elsevier v. 53, n. 11, p. 1252-1262, nov. 2011Amsterdam 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2194656 )(Acessar) |
| 9 |
Material Type: Artigo
|
|
Generalizing the DS-Methods for testing non-deterministic FSMsAlexandre Petrenko Adenilso da Silva SimãoThe Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 58, n. 7, p. 1656-1672, 2015London 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2659212 )(Acessar) |
| 10 |
Material Type: Livro
|
|
Testing software and systemsAlexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado; IFIP WG 6.1 International Conference - ICTSS (22. 2010 Natal)ProceedingsBerlin Springer 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2132657 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 38 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (37)
- Recursos Online (10)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (27)
- Livros (8)
- Outros (1)
- Patentes (1)
- Audiovisuais (1)
-
Mais opções
Assunto
- Engenharia De Software (25)
- Sistemas De Informação (23)
- Bovinos De Corte (2)
- Redes E Comunicação De Dados (Congressos) (2)
- Patologia (2)
- Computer Software (2)
- Poluição Atmosférica (2)
- Patologia Clínica (2)
- Dieta Animal (2)
- Protocolos De Comunicação (Congressos) (2)
- Grãos (1)
- Terra (Planeta) (1)
- Métodos De Ensino (1)
- Ovinos (1)
- Especificação De Sistemas E Programas (Congressos) (1)
- Engenharia De Programas (1)
- Dna (1)
- Fermentação (1)
- Formal Methods (Computer Science) (1)
- Socialismo (1)
-
Mais opções
Autor/Criador
- Petrenko, A (27)
- Simão, A (24)
- Maldonado, J (6)
- Saldiva, P (5)
- Petrenko, H (5)
- Petrenko, N (4)
- Baggio, M (3)
- Barroso, J (3)
- Maia, K (3)
- Moreira, A (3)
- Jeronymo, M (3)
- Oliveira Junior, J (3)
- Lobo, D (3)
- Rodrigues, G (3)
- Pires, A (3)
- Lemos, M (2)
- Soares, L (2)
- Jorge, A (2)
- International Conference on Software Testing, V (2)
- Groz, R (2)
-
Mais opções
Data de Publicação
- Antes de1999 (3)
- 1999Até2003 (5)
- 2004Até2008 (4)
- 2009Até2012 (15)
- Após 2012 (10)
-
Mais opções
Biblioteca
Idioma
- Inglês (31)
- Português (6)
- Italiano (1)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (5)
- Proceedings (4)
- Ieee Transactions on Computers (2)
- Novos desafios da pesquisa em nutrição e produção animal (2)
- The Computer Journal Advance Access (2)
- Iet Software (2)
- Journal of the Air & Waste Management Association (2)
- Software testing, verification and reliability (1)
- The Computer Journal: Section A: Computer Science Theory, Methods and Tools (1)
- Lecture Notes in Computer Science (LNCS) (1)
- International Journal on Software Tools for Technology Transfer (STTT) (1)
- Genetics and Molecular Biology (1)
- Anais (1)
- Mutation Research (1)
- Information and Software Technology (1)
- Electronic Proceedings in Theoretical Computer Science (1)
- Resumos (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 