On the testability of properties patterns (2015)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1007/978-3-319-22969-0_11
- Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE; TESTE E AVALIAÇÃO DE SOFTWARE; DESENVOLVIMENTO DE SOFTWARE
- Keywords: program specification; software testing; formal verification
- Language: Inglês
- Imprenta:
- Source:
- Conference titles: International Conference on Software Engineering and Formal Methods - SEFM
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. On the testability of properties patterns. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-22969-0_11. Acesso em: 02 jan. 2026. -
APA
Hanazumi, S., & Melo, A. C. V. de. (2015). On the testability of properties patterns. In Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Cham: Springer. doi:10.1007/978-3-319-22969-0_11 -
NLM
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2026 jan. 02 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11 -
Vancouver
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2026 jan. 02 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11 - Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
- Testing Java exceptions: an instrumentation technique
- From test purposes to formal JPF properties
- Behaviorist agent architecture
- On the algebraic reuse of hardware design
- OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos
Informações sobre o DOI: 10.1007/978-3-319-22969-0_11 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
