ReP USP - Resultado da busca

Trabalho de evento
Anomaly analyses to guide software testing activity (2020)
Mori, Allan
Source: Proceedings. Conference titles: IEEE International Conference on Software Testing, Validation and Verification - ICST. Unidade: ICMC
Assunto: TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORI, Allan. Anomaly analyses to guide software testing activity. 2020, Anais.. Los Alamitos: IEEE, 2020. Disponível em: https://doi.org/10.1109/ICST46399.2020.00055. Acesso em: 17 fev. 2026.
APA
Mori, A. (2020). Anomaly analyses to guide software testing activity. In Proceedings. Los Alamitos: IEEE. doi:10.1109/ICST46399.2020.00055
NLM
Mori A. Anomaly analyses to guide software testing activity [Internet]. Proceedings. 2020 ;[citado 2026 fev. 17 ] Available from: https://doi.org/10.1109/ICST46399.2020.00055
Vancouver
Mori A. Anomaly analyses to guide software testing activity [Internet]. Proceedings. 2020 ;[citado 2026 fev. 17 ] Available from: https://doi.org/10.1109/ICST46399.2020.00055
Trabalho de evento
On the testability of properties patterns (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de
Source: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. On the testability of properties patterns. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-22969-0_11. Acesso em: 17 fev. 2026.
APA
Hanazumi, S., & Melo, A. C. V. de. (2015). On the testability of properties patterns. In Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Cham: Springer. doi:10.1007/978-3-319-22969-0_11
NLM
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11
Vancouver
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11
Artigo de periodico
From test purposes to formal JPF properties (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de; Pasareanu, Corina S
Source: Software Engineering Notes. Unidade: IME
Subjects: ENGENHARIA DE SOFTWARE, PROCESSO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de e PASAREANU, Corina S. From test purposes to formal JPF properties. Software Engineering Notes, v. 40, n. ja 2015, p. [5 ], 2015Tradução . . Disponível em: https://doi.org/10.1145/2693208.2693241. Acesso em: 17 fev. 2026.
APA
Hanazumi, S., Melo, A. C. V. de, & Pasareanu, C. S. (2015). From test purposes to formal JPF properties. Software Engineering Notes, 40( ja 2015), [5 ]. doi:10.1145/2693208.2693241
NLM
Hanazumi S, Melo ACV de, Pasareanu CS. From test purposes to formal JPF properties [Internet]. Software Engineering Notes. 2015 ; 40( ja 2015): [5 ].[citado 2026 fev. 17 ] Available from: https://doi.org/10.1145/2693208.2693241
Vancouver
Hanazumi S, Melo ACV de, Pasareanu CS. From test purposes to formal JPF properties [Internet]. Software Engineering Notes. 2015 ; 40( ja 2015): [5 ].[citado 2026 fev. 17 ] Available from: https://doi.org/10.1145/2693208.2693241
Trabalho de evento
A classification of test purposes based on testable properties (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de
Source: Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. Conference titles: International Conference on Computational Science and Its Applications - ICCSA. Unidade: IME
Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. A classification of test purposes based on testable properties. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-21404-7_31. Acesso em: 17 fev. 2026.
APA
Hanazumi, S., & Melo, A. C. V. de. (2015). A classification of test purposes based on testable properties. In Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. Cham: Springer. doi:10.1007/978-3-319-21404-7_31
NLM
Hanazumi S, Melo ACV de. A classification of test purposes based on testable properties [Internet]. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. 2015 ;[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/978-3-319-21404-7_31
Vancouver
Hanazumi S, Melo ACV de. A classification of test purposes based on testable properties [Internet]. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. 2015 ;[citado 2026 fev. 17 ] Available from: https://doi.org/10.1007/978-3-319-21404-7_31

USP Schools

ReP

Filtros