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
|
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. |
|
3 |
Material Type: Livro
|
Formal methods foundations and applicationsJim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)Proceedings Heidelberg : SpringerHeidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2213638 ) e outros locais(Acessar) |
|
4 |
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. |
|
5 |
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) |
|
6 |
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. |
|
7 |
Material Type: Livro
|
This volume contains the papers presented at SBMF 2010... [Prefácio]Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)Proceedings Heidelberg : SpringerHeidelberg Springer 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2220867 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Inferring FSM models of systems without resetRoland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; International Dagstuhl Seminar 16172 (2016 Dagstuhl Castle, Germany)Lecture Notes in Computer Science Cham : Springer v. 11026, p. 178-201, 2019Cham Springer 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2956170 )(Acessar) |
|
9 |
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) |
|
10 |
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) |