Idioma:

Checking sequence generation using state distinguishing subsequences

Adenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)

Proceedings Washington : IEEE Computer Society, 2009

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

Título:
Checking sequence generation using state distinguishing subsequences
Autor: Adenilso da Silva Simão
A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)
Assuntos: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
É parte de: Proceedings Washington : IEEE Computer Society, 2009
Notas: Disponível em: http://portal.acm.org/citation.cfm?id=1645074
Editor: Washington, DC IEEE Computer Science
Data de criação/publicação: 2009
Formato: p. 48-56.
Idioma: Inglês

Links

Voltar para lista de resultados