Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
A comparison of selective mutation testing in C and FortranW Eric Wong José Carlos Maldonado; Márcio Eduardo Delamaro; Simone do Rocio Senger de Souza; Workshop do Projeto Validação e Teste de Sistemas de Operação (1997 Águas de Lindóia, SP)Workshop do Projeto Validação e Teste de Sistemas de Operação Águas de Lindóia, 1997Águas de Lindóia 1997Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-969963 )(Acessar) |
|
2 |
Material Type: Artigo
|
A deep learning workflow enhanced with optical flow fields for flood risk estimationCaetano Mazzoni Ranieri Thais Luiza Donega e Souza; Marislei Nishijima; Bhaskar Krishnamachari; Jó UeyamaApplied Intelligence New York : Springer, 2024 In pressNew York 2024Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3192928 )(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
A family of coverage testing criteria for coloured petri netsAdenilso da Silva Simão Simone do Rocio Senger de Souza; José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (17. 2003 Manaus)Anais Manaus: Editora da UFA, 2003Manaus Editora da UFA 2003Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1338895 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
A new mathematical formulation for the nesting problemAline Leão (Aline Aparecida de Souza Leão) José Fernando Oliveira; Franklina Maria Bragion de Toledo; European Conference on Operational Research - EURO-INFORMS 2013 (26. 2013 Roma, Itália)Book of Abstracts Suiça : EURO/IFORS, 2013Suiça EURO/IFORS 2013Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2419227 )(Acessar) |
|
5 |
Material Type: Relatório Técnico
|
A note on bayesian exponential regression model with censored dataJosemar Rodrigues Josenildo de Souza ChavesSão Carlos ICMC 1998Localização: ICMC - Inst. Ciên. Mat. Computação (NOTAS SCE N.56 R696nb e.1 )(Acessar) |
|
6 |
Material Type: Artigo
|
DCA-SERVICES a distributed and collaborative architecture for conducting experiments in service oriented systemsLuiz H Nunes (Luiz Henrique Nunes) Júlio Cezar Estrella; Carlos H. G Ferreira (Carlos Henrique Gomes Ferreira); Luis H. V Nakamura (Luis Hideo Vasconcelos Nakamura); Rafael M. de O Libardi (Rafael Mira de Oliveira Libardi); Edvard M. de Oliveira (Edvard Martins de Oliveira); Bruno T Kuehne (Bruno Tardiole Kuehne); Paulo Sérgio Lopes de Souza; Regina Helena Carlucci Santana; Marcos José Santana; Stephan Reiff-MarganiecInternational Journal of Services Computing (IJSC) New York, NY : Services Society v. 3, n. 4, p. 1-15, Jul.-Set. 2015New York, NY 2015Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Artigo de Congresso
|
A strategy to support the infeasible test requirements identificationJoão Choma Neto Ricardo Chagas; Ricardo Ferreira Vilela; Allan Mori; Thelma Elita Colanzi; Simone do Rocio Senger de Souza; Brazilian Symposium on Systematic and Automated Software Testing - SAST (7. 2022 Uberlândia)ProceedingsNew York ACM 2022Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3106091 )(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
A study of charging station location for electric vehicles in intelligent transportation systemsAlex Vitorino Joao Paulo S. de Freitas; Fernanda Sumika Hojo de Souza; Geraldo Pereira Rocha Filho; Rodolfo Ipolito Meneguette; Daniel Ludovico Guidoni; International Conference on Distributed Computing in Smart Systems and the Internet of Things - DCOSSIoT (19. 2023 Pafos, Cyprus)Proceedings Piscataway : IEEE, 2023Piscataway IEEE 2023Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3162030 )(Acessar) |
|
9 |
Material Type: Artigo
|
A survey on the practices of mobile application testingÍtalo de Oliveira Santos Julio Cesar Coelho Filho; Simone do Rocio Senger de Souza; Latin American Computing Conference - CLEI (46. 2020 Loja, Ecuador)Proceedings Piscataway : IEEE, 2020Piscataway IEEE 2020Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3047265 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Abordagem dinâmica de práticas e teoria na introdução à programação para engenhariaRenata Pontin de Mattos Fortes Robson Leonardo Ferreira Cordeiro; Flávia de Souza Santos; Jadson José Monteiro Oliveira; Congresso de Graduação da Universidade de São Paulo (4. 2018 São Paulo)Anais São Paulo : Universidade de São Paulo - USP, Pró-Reitoria de Graduação - PRG, 2018São Paulo Universidade de São Paulo - USP, Pró-Reitoria de Graduação - PRG 2018Acesso online. A biblioteca também possui exemplares impressos. |