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
|
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. |
|
3 |
Material Type: Artigo
|
Reducing FSM-based test suites with guaranteed fault coverageJorge Francisco Cutigi Adenilso da Silva Simão; Simone do Rocio Senger de SouzaThe Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 59, n. 8, p. 1129-1143, Ago. 2016London 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2755484 )(Acessar) |