skip to main content
Idioma:

Resultados de 1 a 10 de 148  para Produção Intelectual da USP

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Simão, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Minimization of incompletely specified finite state machines based on distinction graphs
Minimization of incompletely specified finite state machines based on distinction graphs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Minimization of incompletely specified finite state machines based on distinction graphs

Alex Alberto Adenilso da Silva Simão; Latin American Test Workshop - LATW (10 2009 Búzios)

Proceedings Los Alamitos : IEEE, 2009

Los Alamitos IEEE 2009

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

2
Formal mutation testing for Circus
Formal mutation testing for Circus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal mutation testing for Circus

Alex Alberto Ana Cavalcanti; Marie-Claude Gaudel; Adenilso da Silva Simão

Information and Software Technology Amsterdam : Elsevier v. 81, p. 131-153, Jan. 2017

Amsterdam 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2772735 )(Acessar)

3
Iterative minimization of partial finite state machines
Iterative minimization of partial finite state machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Iterative minimization of partial finite state machines

Alex D. B Alberto (Alex Donizeti Betez Alberto) Adenilso da Silva Simão

Central European Journal of Computer Science Varsóvia , Polônia : Versita, co-publicado com a Springer-Verlag GmbH v. 3, n. 2 , p. 91-103, jun 2013

Varsóvia , Polônia 2013

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2394641 )(Acessar)

4
Formal mutation testing in Circus process algebra
Formal mutation testing in Circus process algebra
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Formal mutation testing in Circus process algebra

Alberto, Alex Donizeti Betez

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-09-21

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

5
Uma estratégia para a minimização de máquinas de estados finitos parciais
Uma estratégia para a minimização de máquinas de estados finitos parciais
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Uma estratégia para a minimização de máquinas de estados finitos parciais

Alberto, Alex Donizeti Betez

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2009-04-22

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

6
Model-based testing of web service compositions
Model-based testing of web service compositions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model-based testing of web service compositions

Fevzi Belli Adenilso da Silva Simão; André Takeshi Endo; Michael Linschulte; IEEE International Symposium on Service Oriented System Engineering - SOSE 2011 (6. 2011 Irvine, CA, USA)

Proceedings Los Alamitos : IEEE Computer Society, 2011

Los Alamitos IEEE Computer Society 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2252030 ) e outros locais(Acessar)

7
A holistic approach to model-based testing of Web service compositions
A holistic approach to model-based testing of Web service compositions
Material Type:
Artigo 		Adicionar ao Meu Espaço

A holistic approach to model-based testing of Web service compositions

Fevzi Belli André Takeshi Endo; Adenilso da Silva Simão

Software, Practice and Experience Malden, Ma : John Wiley and Sons v. 44, n. 2, p. 201-234, fev 2014

Malden, Ma 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2317343 )(Acessar)

8
Fault domain-based testing in imperfect situations a heuristic approach and case studies
Fault domain-based testing in imperfect situations a heuristic approach and case studies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fault domain-based testing in imperfect situations a heuristic approach and case studies

Fevzi Belli Mutlu Beyazıt; André Takeshi Endo Aditya Mathur Aditya Mathur; Adenilso da Silva Simão

Software Quality Journal v. 23, n. 3, p. 423-452, Set. 2015

The Netherlands 2015

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2655158 )(Acessar)

9
Experimental comparison of approaches for checking completeness of test suites from finite state machines
Experimental comparison of approaches for checking completeness of test suites from finite state machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Experimental comparison of approaches for checking completeness of test suites from finite state machines

Adilson Bonifacio Arnaldo Moura; Adenilso da Silva Simão

Information and Software Technology Amsterdam : Elsevier v. 92, p. 95-104, Dez. 2017

Amsterdam 2017

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2861189 )(Acessar)

10
Conformance testing by model checking timed extended finite state machines
Conformance testing by model checking timed extended finite state machines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Conformance testing by model checking timed extended finite state machines

Adilson L Bonifacio Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado; Brazilian Symposium on formal Methods (2006 Natal)

Proceedings Natal, 2006

Natal 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1558224 ) e outros locais(Acessar)

Resultados de 1 a 10 de 148  para Produção Intelectual da USP

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (144)
  2. Recursos Online (22)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (112)
  2. Produções Acadêmicas  (21)
  3. Livros  (9)
  4. Produções Técnicas  (7)
  5. Outros  (1)
  6. Patentes  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2004  (14)
  2. 2004Até2007  (25)
  3. 2008Até2011  (41)
  4. 2012Até2016  (42)
  5. Após 2016  (26)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (110)
  2. Português  (39)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Maldonado, J
  3. Petrenko, A
  4. Endo, A
  5. Souza, S

Neste Assunto:

  1. Engenharia De Software
  2. Sistemas De Informação
  3. Softwares
  4. Teste E Avaliação De Software
  5. Model Based Testing

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

Buscando em bases de dados remotas. Favor aguardar.