skip to main content
Idioma:
Resultados 1 2 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Geração de propriedades sobre programas Java a partir de objetivos de teste
Geração de propriedades sobre programas Java a partir de objetivos de teste
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Geração de propriedades sobre programas Java a partir de objetivos de teste

Hanazumi, Simone

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2015-10-29

Acesso online. A biblioteca também possui exemplares impressos.

2
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas

Hanazumi, Simone

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2010-09-01

Acesso online. A biblioteca também possui exemplares impressos.

3
A formal approach to implement java exceptions in cooperative systems
A formal approach to implement java exceptions in cooperative systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formal approach to implement java exceptions in cooperative systems

Simone Hanazumi Ana Cristina Vieira de Melo

Journal of Systems and Software New York v. 131, p. 475-490, 2017

New York 2017

Localização: IME - Inst. Matemática e Estatística    (PROD-2864424 )(Acessar)

4
From test purposes to formal JPF properties
From test purposes to formal JPF properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

From test purposes to formal JPF properties

Simone Hanazumi Ana Cristina Vieira de Melo; Corina S Pasareanu

Software Engineering Notes New York v. 40, n. 1, [5 p.], jan. 2015

New York 2015

Localização: IME - Inst. Matemática e Estatística    (PROD-2673807 )(Acessar)

5
Exercising Java exceptions using Java Pathfinder and program instrumentation
Exercising Java exceptions using Java Pathfinder and program instrumentation
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Exercising Java exceptions using Java Pathfinder and program instrumentation

Alexandre Locci Martins Simone Hanazumi; Ana Cristina Vieira de Melo; International Conference on Computational Science and Its Applications (14. 2014 Guimarães, Portugal)

Computational Science and Its Applications - ICCSA 2014, 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I Cham: Springer, 2014

Cham Springer 2014

Localização: IME - Inst. Matemática e Estatística    (PROD-2501665 )(Acessar)

6
Testing Java exceptions an instrumentation technique
Testing Java exceptions an instrumentation technique
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Testing Java exceptions an instrumentation technique

Alexandre Locci Martins Simone Hanazumi; Ana Cristina Vieira de Melo; IEEE International Computer Software and Application Conference - COMPSAC (38. 2014 Vasteras, Sweden)

IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings Los Alamitos: IEEE, 2014

Los Alamitos IEEE 2014

Localização: IME - Inst. Matemática e Estatística    (PROD-2520623 )(Acessar)

7
On the testability of properties patterns
On the testability of properties patterns
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

On the testability of properties patterns

Simone Hanazumi Ana Cristina Vieira de Melo; International Conference on Software Engineering and Formal Methods - SEFM (13. 2015 York, UK)

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings Cham: Springer, 2015

Cham Springer 2015

Localização: IME - Inst. Matemática e Estatística    (PROD-2726917 )(Acessar)

8
A classification of test purposes based on testable properties
A classification of test purposes based on testable properties
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A classification of test purposes based on testable properties

Simone Hanazumi Ana Cristina Vieira de Melo; International Conference on Computational Science and Its Applications - ICCSA (15. 2015 Banff)

Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I Cham: Springer, 2015

Cham Springer 2015

Localização: IME - Inst. Matemática e Estatística    (PROD-2740749 )(Acessar)

9
Towards MC/DC coverage of properties specification patterns
Towards MC/DC coverage of properties specification patterns
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards MC/DC coverage of properties specification patterns

Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)

Proceedings Cham: Springer, 2016

Cham Springer 2016

Localização: IME - Inst. Matemática e Estatística    (PROD-2872237 )(Acessar)

10
Coordinating exceptions of Java systems implementation and formal verification
Coordinating exceptions of Java systems implementation and formal verification
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Coordinating exceptions of Java systems implementation and formal verification

Simone Hanazumi Ana Cristina Vieira de Melo; International Conference on the Quality of Information and Communications Technology - QUATIC (8. 2012 Lisbon, Portugal)

Proceedings Piscataway : IEEE, 2012

Piscataway IEEE 2012

Localização: IME - Inst. Matemática e Estatística    (PROD-3010311 )(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (12)
  2. Produções Acadêmicas  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2009  (1)
  2. 2009Até2009  (2)
  3. 2010Até2011  (1)
  4. 2012Até2013  (2)
  5. Após 2013  (8)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Melo, A
  2. Hanazumi, S
  3. Hanazumi , S
  4. Pasareanu, C
  5. Nunes, P

Neste Assunto:

  1. Java
  2. Desenvolvimento De Software
  3. Teste E Avaliação De Software
  4. Engenharia De Software
  5. Engenharia De Programas

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.