skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Testing of Communicating Systems
Testing of Communicating Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing of Communicating Systems

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems Roland Groz; Robert M Hierons

Springer Berlin / Heidelberg 2004

Acesso online

2
Testing of communicating systems 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19 2004 : proceedings
Testing of communicating systems 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing of communicating systems 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19 2004 : proceedings

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (16th 2004 Oxford, England) Roland Groz; Robert M Hierons; LINK (Online service)

Berlin Springer-Verlag Hong Kong c2004

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

3
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Engineering and Formal Methods

Robert Merayo, Mercedes G. Bravetti, Mario Hierons Mario Bravetti; Mercedes G Merayo

Springer Berlin Heidelberg 2013

Acesso online

4
Search Algorithms for Regression Test Case Prioritization
Search Algorithms for Regression Test Case Prioritization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Search Algorithms for Regression Test Case Prioritization

Li, Z. ; Harman, M. ; Hierons, R.M.

IEEE transactions on software engineering, 2007-04, Vol.33 (4), p.225-237 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
5
Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences
Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences

Hierons, Robert M. ; Turker, Uraz Cengiz

IEEE transactions on software engineering, 2016-11, Vol.42 (11), p.1077-1091 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
6
Using Formal Specifications to Support Testing
Using Formal Specifications to Support Testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Formal Specifications to Support Testing

HIERONS, Robert M ; BOGDANOV, Kirill ; LÜTTGEN, Gerald ; SIMONS, Anthony J. H ; VILKOMIR, Sergiy ; WOODWARD, Martin R ; ZEDAN, Hussein ; BOWEN, Jonathan P ; CLEAVELAND, Rance ; DERRICK, John ; DICK, Jeremy ; GHEORGHE, Marian ; HARMAN, Mark ; KAPOOR, Kalpesh ; KRAUSE, Paul

ACM computing surveys, 2009-02, Vol.41 (2), p.1-76 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. , Proceedings
Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. , Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. , Proceedings

Groz, Roland ; Hierons, Robert M Hierons, Robert M. ; Groz, Roland

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
8
Modelling Second-Order Uncertainty in State Machines
Modelling Second-Order Uncertainty in State Machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modelling Second-Order Uncertainty in State Machines

Walkinshaw, Neil ; Hierons, Robert M.

IEEE transactions on software engineering, 2023-05, Vol.49 (5), p.1-16 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
9
Farewell after an 11‐year journey as joint editor‐in‐chief
Farewell after an 11‐year journey as joint editor‐in‐chief
Material Type:
Artigo 		Adicionar ao Meu Espaço

Farewell after an 11‐year journey as joint editor‐in‐chief

Hierons, Robert M.

Software testing, verification & reliability, 2022-06, Vol.32 (4), p.n/a [Periódico revisado por pares]

Chichester: Wiley Subscription Services, Inc

Texto completo disponível

Citações Citado por
10
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
Material Type:
Artigo 		Adicionar ao Meu Espaço

SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization

Hierons, Robert M. ; Li, Miqing ; Liu, Xiaohui ; Segura, Sergio ; Zheng, Wei

ACM transactions on software engineering and methodology, 2016-05, Vol.25 (2), p.1-39 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (129)
  2. Anais de Congresso  (67)
  3. Book Chapters  (20)
  4. Livros  (14)
  5. Resenhas  (10)
  6. Dissertações  (1)
  7. Conjunto de Dados  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (6)
  2. 2001Até2005  (35)
  3. 2006Até2010  (48)
  4. 2011Até2016  (74)
  5. Após 2016  (82)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.