ReP USP - Resultado da busca

Tese (Doutorado)
Geração de propriedades sobre programas Java a partir de objetivos de teste (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assuntos: ENGENHARIA DE PROGRAMAS, JAVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone. Geração de propriedades sobre programas Java a partir de objetivos de teste. 2015. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748. Acesso em: 19 abr. 2024.
APA
Hanazumi, S. (2015). Geração de propriedades sobre programas Java a partir de objetivos de teste (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
NLM
Hanazumi S. Geração de propriedades sobre programas Java a partir de objetivos de teste [Internet]. 2015 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
Vancouver
Hanazumi S. Geração de propriedades sobre programas Java a partir de objetivos de teste [Internet]. 2015 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
Trabalho de evento
Generation of Java programs properties from test purposes (2013)
Hanazumi , Simone; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Symposium on Software Testing and Analysis - ISSTA. Unidade: IME
Assuntos: JAVA, ENGENHARIA 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. Generation of Java programs properties from test purposes. 2013, Anais.. New York: ACM, 2013. Disponível em: https://doi.org/10.1145/2483760.2492400. Acesso em: 19 abr. 2024.
APA
Hanazumi , S., & Melo, A. C. V. de. (2013). Generation of Java programs properties from test purposes. In Proceedings. New York: ACM. doi:10.1145/2483760.2492400
NLM
Hanazumi S, Melo ACV de. Generation of Java programs properties from test purposes [Internet]. Proceedings. 2013 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1145/2483760.2492400
Vancouver
Hanazumi S, Melo ACV de. Generation of Java programs properties from test purposes [Internet]. Proceedings. 2013 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1145/2483760.2492400
Trabalho de evento
Coordinating exceptions of Java systems: implementation and formal verification (2012)
Hanazumi , Simone; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Conference on the Quality of Information and Communications Technology - QUATIC. Unidade: IME
Assuntos: JAVA, 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. Coordinating exceptions of Java systems: implementation and formal verification. 2012, Anais.. Piscataway: IEEE, 2012. Disponível em: https://doi.org/10.1109/QUATIC.2012.26. Acesso em: 19 abr. 2024.
APA
Hanazumi , S., & Melo, A. C. V. de. (2012). Coordinating exceptions of Java systems: implementation and formal verification. In Proceedings. Piscataway: IEEE. doi:10.1109/QUATIC.2012.26
NLM
Hanazumi S, Melo ACV de. Coordinating exceptions of Java systems: implementation and formal verification [Internet]. Proceedings. 2012 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1109/QUATIC.2012.26
Vancouver
Hanazumi S, Melo ACV de. Coordinating exceptions of Java systems: implementation and formal verification [Internet]. Proceedings. 2012 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1109/QUATIC.2012.26
Dissertação (Mestrado)
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas (2010)
Hanazumi, Simone; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: TÉCNICAS DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/. Acesso em: 19 abr. 2024.
APA
Hanazumi, S. (2010). Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
NLM
Hanazumi S. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas [Internet]. 2010 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
Vancouver
Hanazumi S. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas [Internet]. 2010 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
Trabalho de evento
OConGraX: automatically generating data-flow test cases for fault-tolerant systems (2009)
Nunes, Paulo Roberto de Araújo França; Hanazumi , Simone; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Workshop on Formal Approaches to Software Testing - FATES. Unidade: IME
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, JAVA, ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NUNES, Paulo Roberto de Araújo França e HANAZUMI , Simone e MELO, Ana Cristina Vieira de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems. 2009, Anais.. Berlin: Springer, 2009. Disponível em: https://doi.org/10.1007/978-3-642-05031-2_17. Acesso em: 19 abr. 2024.
APA
Nunes, P. R. de A. F., Hanazumi , S., & Melo, A. C. V. de. (2009). OConGraX: automatically generating data-flow test cases for fault-tolerant systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-05031-2_17
NLM
Nunes PR de AF, Hanazumi S, Melo ACV de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems [Internet]. Proceedings. 2009 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-642-05031-2_17
Vancouver
Nunes PR de AF, Hanazumi S, Melo ACV de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems [Internet]. Proceedings. 2009 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-642-05031-2_17
Trabalho de evento
Using formal verification to reduce test space of fault-tolerant programs (2008)
Xavier, Kleber da Silva; Hanazumi , Simone; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Assuntos: PROGRAMAÇÃO ORIENTADA A OBJETOS, JAVA, TESTE E AVALIAÇÃO DE SOFTWARE, LÓGICA FORMAL, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
XAVIER, Kleber da Silva e HANAZUMI , Simone e MELO, Ana Cristina Vieira de. Using formal verification to reduce test space of fault-tolerant programs. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/SEFM.2008.31. Acesso em: 19 abr. 2024.
APA
Xavier, K. da S., Hanazumi , S., & Melo, A. C. V. de. (2008). Using formal verification to reduce test space of fault-tolerant programs. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2008.31
NLM
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Vancouver
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1109/SEFM.2008.31

Unidades USP

ReP

Filtros

Ano de publicação

Assuntos