Beta: a B based testing approach
Software systems are a big part of our lives and, more than ever, they require a high level of reliability. There are many software Verification and Validation (V&V) techniques that are concerned with quality control, security, robustness, and reliability; the most widely known are Software T...
Na minha lista:
Autor principal: | Matos, Ernesto Cid Brasil de |
---|---|
Outros Autores: | Moreira, Anamaria Martins |
Formato: | doctoralThesis |
Idioma: | por |
Publicado em: |
Brasil
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/21417 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Beta: uma ferramenta para geração de testes de unidade a partir de especificações B
por: Matos, Ernesto Cid Brasil de
Publicado em: (2014) -
Beta : uma ferramenta para geração de testes de unidade a partir de especificações B /
por: Matos, Ernesto Cid Brasil de., et al.
Publicado em: (2022) -
Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
por: Souza Neto, João Batista De
Publicado em: (2018) -
Geração de casos de teste a partir de especificações B
por: Souza, Fernanda Monteiro de
Publicado em: (2014) -
Modeling in Event-B : system and software engineering /
por: Abrial, Jean-Raymond.
Publicado em: (2022)