Resultados de 1 a 10 de 33 para Produção Intelectual da USP
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Disponível na Biblioteca (32)
- Recursos Online (7)
Refinado por:
autor:
Simão, A
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo de Congresso
|
|
Structural testing for semaphore-based multithread programsFelipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
| 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
|
|
ValiPVM - a graphical tool for structural testing of PVM programsPaulo Sérgio Lopes de Souza Eduardo T Sawabe; Adenilso da Silva Simão; Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; European PVM/MPI User's Group Meeting (15 2008 Irlanda)Lecture Notes in Computer Science v. 5205, p. 257-264, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Artigo
|
|
Towards deriving test sequences by model checkingAdilson Luiz Bonifácio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos MaldonadoEletronic Notes in Theoretical Computer Science Amsterdam v. 195, p. 21-40, 2008Amsterdam 2008Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1672646 )(Acessar) |
| 5 |
Material Type: Artigo
|
|
Towards deriving test sequences by model checkingAdilson Luiz Bonifácio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos MaldonadoEletronic Notes in Theoretical Computer Science Amsterdam v. 195, p. 21-40, 2008Amsterdam 2008Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1672646 )(Acessar) |
| 6 |
Material Type: Artigo de Congresso
|
|
Checking sequence generation using state distinguishing subsequencesAdenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)Proceedings Washington : IEEE Computer Society, 2009Washington, DC IEEE Computer Science 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Artigo de Congresso
|
|
Generating reduced tests for FSMs with extra statesAdenilso da Silva Simão Alexandre Petrenko; Nina Yevtushenko; International Conference Testing of Software and Communication Systems - TESTCOM (21. 2009 Eindhoven, The Netherlands); Workshop on Formal Approaches to Testing of Software - FATES (9. 2009 Eindhoven, The Netherlands)Lecture Notes in Computer Science Heidelberg : Springer v. 5826, p. 129-145, 2009Berlin Springer 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Artigo
|
|
A tranformational language for mutant descriptionAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva BigonhaComputer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009Amsterdam 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Artigo
|
|
A tranformational language for mutant descriptionAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva BigonhaComputer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009Amsterdam 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 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 33 para Produção Intelectual da USP
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- 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 (32)
- Recursos Online (7)
Assunto
- Engenharia De Software (31)
- Sistemas De Informação (27)
- Validação De Modelos (2)
- Algoritmos Úteis E Específicos (2)
- Máquinas Lineares E Sequenciais (1)
- Teste E Avaliação De Software (Desenvolvimento;Modelos) (1)
- Aprendizado Computacional (1)
- Inferência (1)
- Métodos De Ensino (1)
- Reúso De Software (1)
- Algoritmos (1)
- Engenharia Reversa De Software (1)
- Softwares (1)
- Autômatos Finitos (1)
- Arquitetura De Software (1)
- Linhas De Produtos De Software (1)
-
Mais opções
Autor/Criador
- Petrenko, A (10)
- Maldonado, J (5)
- Moura, A (4)
- Oriat, C (4)
- Mousavi, M (4)
- Groz, R (4)
- Fragal, V (3)
- Brazilian Symposium on Formal Methods - SBMF (3)
- IFIP International Conference on Testing Software and Systems - IFIP-ICTSS (3)
- Souza, S (3)
- Bigonha, R (2)
- Silva, L (2)
- Bonifacio, A (2)
- Bonifácio, A (2)
- Davies, J (2)
- Yevtushenko, N (2)
- IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (2)
- Souza, P (2)
- International Conference, T (1)
-
Mais opções
Data de Publicação
- Antes de2010 (9)
- 2010Até2011 (3)
- 2012Até2013 (4)
- 2014Até2016 (8)
- Após 2016 (9)
-
Mais opções
Nome da Publicação
- Lecture Notes in Computer Science (9)
- Proceedings (4)
- Lecture Notes in Computer Science (LNCS) (4)
- Science of Computer Programming (3)
- Computer languages, systems & structures (2)
- International Journal of Foundations of Computer Science (2)
- Eletronic Notes in Theoretical Computer Science (2)
- Lecture Notes in Computer Science - LNCS (2)
- The Computer Journal: Section A: Computer Science Theory, Methods and Tools (2)
- The Computer Journal : Section A : Computer Science Theory, Methods and Tools (1)
- Central European Journal of Computer Science (1)
- Electronic Proceedings in Theoretical Computer Science (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 