ReP USP - Resultado da busca

Trabalho de evento
Software testing applied to the development of IoT systems: preliminary results (2023)
Ferreira, Vinicius Gomes ; Herrera, Caio Guimaraes ; Souza, Simone do Rocio Senger de ; Santos, Ricardo Ribeiro dos ; Souza, Paulo Sérgio Lopes de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: DESENVOLVIMENTO DE SOFTWARE, INTERNET DAS COISAS, REVISÃO SISTEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Vinicius Gomes et al. Software testing applied to the development of IoT systems: preliminary results. 2023, Anais.. New York: ACM, 2023. Disponível em: https://doi.org/10.1145/3624032.3624049. Acesso em: 08 out. 2025.
APA
Ferreira, V. G., Herrera, C. G., Souza, S. do R. S. de, Santos, R. R. dos, & Souza, P. S. L. de. (2023). Software testing applied to the development of IoT systems: preliminary results. In Proceedings. New York: ACM. doi:10.1145/3624032.3624049
NLM
Ferreira VG, Herrera CG, Souza S do RS de, Santos RR dos, Souza PSL de. Software testing applied to the development of IoT systems: preliminary results [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3624032.3624049
Vancouver
Ferreira VG, Herrera CG, Souza S do RS de, Santos RR dos, Souza PSL de. Software testing applied to the development of IoT systems: preliminary results [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3624032.3624049
Trabalho de evento
Test data selection based on applying mutation testing to decision tree models (2023)
Silveira, Beatriz N. C; Durelli, Vinícius Humberto Serapilha ; Santos, Sebastião Henrique Nascimento; Durelli, Rafael Serapilha ; Delamaro, Márcio Eduardo ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, APRENDIZADO COMPUTACIONAL, ANÁLISE DE MUTANTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVEIRA, Beatriz N. C et al. Test data selection based on applying mutation testing to decision tree models. 2023, Anais.. New York: ACM, 2023. Disponível em: https://doi.org/10.1145/3624032.3624038. Acesso em: 08 out. 2025.
APA
Silveira, B. N. C., Durelli, V. H. S., Santos, S. H. N., Durelli, R. S., Delamaro, M. E., & Souza, S. do R. S. de. (2023). Test data selection based on applying mutation testing to decision tree models. In Proceedings. New York: ACM. doi:10.1145/3624032.3624038
NLM
Silveira BNC, Durelli VHS, Santos SHN, Durelli RS, Delamaro ME, Souza S do RS de. Test data selection based on applying mutation testing to decision tree models [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3624032.3624038
Vancouver
Silveira BNC, Durelli VHS, Santos SHN, Durelli RS, Delamaro ME, Souza S do RS de. Test data selection based on applying mutation testing to decision tree models [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3624032.3624038
Trabalho de evento
An approach to regression testing selection based on code changes and smells (2023)
Mori, Allan ; Paiva, Ana Clara Ribeiro de ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, FALHA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORI, Allan e PAIVA, Ana Clara Ribeiro de e SOUZA, Simone do Rocio Senger de. An approach to regression testing selection based on code changes and smells. 2023, Anais.. New York: ACM, 2023. Disponível em: https://doi.org/10.1145/3624032.3624036. Acesso em: 08 out. 2025.
APA
Mori, A., Paiva, A. C. R. de, & Souza, S. do R. S. de. (2023). An approach to regression testing selection based on code changes and smells. In Proceedings. New York: ACM. doi:10.1145/3624032.3624036
NLM
Mori A, Paiva ACR de, Souza S do RS de. An approach to regression testing selection based on code changes and smells [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3624032.3624036
Vancouver
Mori A, Paiva ACR de, Souza S do RS de. An approach to regression testing selection based on code changes and smells [Internet]. Proceedings. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3624032.3624036
Trabalho de evento
A strategy to support the infeasible test requirements identification (2022)
Choma Neto, João ; Chagas, Ricardo ; Vilela, Ricardo Ferreira ; Mori, Allan ; Colanzi, Thelma Elita ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ANÁLISE ESTATÍSTICA DE DADOS, JAVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CHOMA NETO, João et al. A strategy to support the infeasible test requirements identification. 2022, Anais.. New York: ACM, 2022. Disponível em: https://doi.org/10.1145/3559744.3559748. Acesso em: 08 out. 2025.
APA
Choma Neto, J., Chagas, R., Vilela, R. F., Mori, A., Colanzi, T. E., & Souza, S. do R. S. de. (2022). A strategy to support the infeasible test requirements identification. In Proceedings. New York: ACM. doi:10.1145/3559744.3559748
NLM
Choma Neto J, Chagas R, Vilela RF, Mori A, Colanzi TE, Souza S do RS de. A strategy to support the infeasible test requirements identification [Internet]. Proceedings. 2022 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3559744.3559748
Vancouver
Choma Neto J, Chagas R, Vilela RF, Mori A, Colanzi TE, Souza S do RS de. A strategy to support the infeasible test requirements identification [Internet]. Proceedings. 2022 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3559744.3559748
Trabalho de evento
An experimental study for complete-IOCO theory (2020)
Paiva, Sofia Larissa da Costa ; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ESTUDO DE CASO, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIVA, Sofia Larissa da Costa e SIMÃO, Adenilso da Silva. An experimental study for complete-IOCO theory. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3425174.3425232. Acesso em: 08 out. 2025.
APA
Paiva, S. L. da C., & Simão, A. da S. (2020). An experimental study for complete-IOCO theory. In Proceedings. New York: ACM. doi:10.1145/3425174.3425232
NLM
Paiva SL da C, Simão A da S. An experimental study for complete-IOCO theory [Internet]. Proceedings. 2020 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3425174.3425232
Vancouver
Paiva SL da C, Simão A da S. An experimental study for complete-IOCO theory [Internet]. Proceedings. 2020 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3425174.3425232
Trabalho de evento
An experimental study on applying metamorphic testing in machine learning applications (2020)
Santos, Sebastião Henrique Nascimento; Silveira, Beatriz Nogueira Carvalho da; Andrade, Stevão Alves de ; Delamaro, Márcio Eduardo ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, APRENDIZADO COMPUTACIONAL, FALHAS COMPUTACIONAIS, NEOPLASIAS MAMÁRIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Sebastião Henrique Nascimento et al. An experimental study on applying metamorphic testing in machine learning applications. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3425174.3425226. Acesso em: 08 out. 2025.
APA
Santos, S. H. N., Silveira, B. N. C. da, Andrade, S. A. de, Delamaro, M. E., & Souza, S. do R. S. de. (2020). An experimental study on applying metamorphic testing in machine learning applications. In Proceedings. New York: ACM. doi:10.1145/3425174.3425226
NLM
Santos SHN, Silveira BNC da, Andrade SA de, Delamaro ME, Souza S do RS de. An experimental study on applying metamorphic testing in machine learning applications [Internet]. Proceedings. 2020 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3425174.3425226
Vancouver
Santos SHN, Silveira BNC da, Andrade SA de, Delamaro ME, Souza S do RS de. An experimental study on applying metamorphic testing in machine learning applications [Internet]. Proceedings. 2020 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3425174.3425226
Trabalho de evento
Evaluating the impact of different testers on model-based testing (2018)
Silva, Henrique Neves da; Mattiello, Guilherme Ricken; Endo, Andre Takeshi; Souza, Érica Ferreira de; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, COMPUTAÇÃO MÓVEL, TESTE E AVALIAÇÃO DE SOFTWARE (DESENVOLVIMENTO;MODELOS), GRAFOS ALEATÓRIOS (SEQUÊNCIA)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Henrique Neves da et al. Evaluating the impact of different testers on model-based testing. 2018, Anais.. New York, NY: ACM, 2018. Disponível em: https://doi.org/10.1145/3266003.3266012. Acesso em: 08 out. 2025.
APA
Silva, H. N. da, Mattiello, G. R., Endo, A. T., Souza, É. F. de, & Souza, S. do R. S. de. (2018). Evaluating the impact of different testers on model-based testing. In Proceedings. New York, NY: ACM. doi:10.1145/3266003.3266012
NLM
Silva HN da, Mattiello GR, Endo AT, Souza ÉF de, Souza S do RS de. Evaluating the impact of different testers on model-based testing [Internet]. Proceedings. 2018 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3266003.3266012
Vancouver
Silva HN da, Mattiello GR, Endo AT, Souza ÉF de, Souza S do RS de. Evaluating the impact of different testers on model-based testing [Internet]. Proceedings. 2018 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3266003.3266012
Trabalho de evento
Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels (2017)
Costa Júnior, Misael; Oliveira, Rafael A. P; Valverde, Miguel A. G.; Jackowski, Marcel Parolin ; Marques, Fátima de Lourdes dos Santos Nunes; Delamaro, Márcio Eduardo
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidades: ICMC, EACH, IME
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, ORACLE, ANGIOGRAFIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA JÚNIOR, Misael et al. Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels. 2017, Anais.. New York, NY: ACM, 2017. Disponível em: https://doi.org/10.1145/3128473.3128484. Acesso em: 08 out. 2025.
APA
Costa Júnior, M., Oliveira, R. A. P., Valverde, M. A. G., Jackowski, M. P., Marques, F. de L. dos S. N., & Delamaro, M. E. (2017). Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels. In Proceedings. New York, NY: ACM. doi:10.1145/3128473.3128484
NLM
Costa Júnior M, Oliveira RAP, Valverde MAG, Jackowski MP, Marques F de L dos SN, Delamaro ME. Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels [Internet]. Proceedings. 2017 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3128473.3128484
Vancouver
Costa Júnior M, Oliveira RAP, Valverde MAG, Jackowski MP, Marques F de L dos SN, Delamaro ME. Feature-based test oracles to categorize synthetic 3D and 2D images of blood vessels [Internet]. Proceedings. 2017 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3128473.3128484
Trabalho de evento
On the costs of applying logic-based criteria to mobile applications: an empirical analysis of predicates in real-world Objective-C and Swift applications (2017)
Botelho, Juliana; Durelli, Vinícius H. S.; Borges, Simone S.; Endo, André T.; Eler, Marcelo Medeiros; Delamaro, Márcio Eduardo ; Durelli, Rafael S
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidades: EACH, ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BOTELHO, Juliana et al. On the costs of applying logic-based criteria to mobile applications: an empirical analysis of predicates in real-world Objective-C and Swift applications. 2017, Anais.. New York, NY: ACM, 2017. Disponível em: https://doi.org/10.1145/3128473.3128477. Acesso em: 08 out. 2025.
APA
Botelho, J., Durelli, V. H. S., Borges, S. S., Endo, A. T., Eler, M. M., Delamaro, M. E., & Durelli, R. S. (2017). On the costs of applying logic-based criteria to mobile applications: an empirical analysis of predicates in real-world Objective-C and Swift applications. In Proceedings. New York, NY: ACM. doi:10.1145/3128473.3128477
NLM
Botelho J, Durelli VHS, Borges SS, Endo AT, Eler MM, Delamaro ME, Durelli RS. On the costs of applying logic-based criteria to mobile applications: an empirical analysis of predicates in real-world Objective-C and Swift applications [Internet]. Proceedings. 2017 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3128473.3128477
Vancouver
Botelho J, Durelli VHS, Borges SS, Endo AT, Eler MM, Delamaro ME, Durelli RS. On the costs of applying logic-based criteria to mobile applications: an empirical analysis of predicates in real-world Objective-C and Swift applications [Internet]. Proceedings. 2017 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/3128473.3128477
Trabalho de evento
ValiErlang: a structural testing tool for Erlang programs (2016)
Oliveira, Alexandre Ponce de; Souza, Paulo Sérgio Lopes de ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Alexandre Ponce de e SOUZA, Paulo Sérgio Lopes de e SOUZA, Simone do Rocio Senger de. ValiErlang: a structural testing tool for Erlang programs. 2016, Anais.. New York, NY: ACM, 2016. Disponível em: https://doi.org/10.1016/j.infsof.2016.01.017. Acesso em: 08 out. 2025.
APA
Oliveira, A. P. de, Souza, P. S. L. de, & Souza, S. do R. S. de. (2016). ValiErlang: a structural testing tool for Erlang programs. In Proceedings. New York, NY: ACM. doi:10.1016/j.infsof.2016.01.017
NLM
Oliveira AP de, Souza PSL de, Souza S do RS de. ValiErlang: a structural testing tool for Erlang programs [Internet]. Proceedings. 2016 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1016/j.infsof.2016.01.017
Vancouver
Oliveira AP de, Souza PSL de, Souza S do RS de. ValiErlang: a structural testing tool for Erlang programs [Internet]. Proceedings. 2016 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1016/j.infsof.2016.01.017
Trabalho de evento
Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases (2016)
Martins, Alexandre Locci; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: IME
Assunto: SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci e MELO, Ana Cristina Vieira de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases. 2016, Anais.. New York: ACM, 2016. Disponível em: https://doi.org/10.1145/2993288.2993290. Acesso em: 08 out. 2025.
APA
Martins, A. L., & Melo, A. C. V. de. (2016). Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases. In Proceedings. New York: ACM. doi:10.1145/2993288.2993290
NLM
Martins AL, Melo ACV de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases [Internet]. Proceedings. 2016 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/2993288.2993290
Vancouver
Martins AL, Melo ACV de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases [Internet]. Proceedings. 2016 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.1145/2993288.2993290

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Funding Agencies

Non normalized affiliation