Towards MC/DC coverage of properties specification patterns (2016)
- Autores:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1007/978-3-319-46750-4_10
- Assuntos: DESENVOLVIMENTO DE SOFTWARE; TEORIA DA COMPUTAÇÃO
- Palavras-chave do autor: sugar; assure; prefix
- Idioma: Inglês
- Imprenta:
- Fonte:
- Título do periódico: Proceedings
- Nome do evento: International Colloquium on Theoretical Aspects of Computing - ICTAC
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
MELO, Ana Cristina Vieira de e PASAREANU, Corina S e HANAZUMI , Simone. Towards MC/DC coverage of properties specification patterns. 2016, Anais.. Cham: Springer, 2016. Disponível em: https://doi.org/10.1007/978-3-319-46750-4_10. Acesso em: 18 abr. 2024. -
APA
Melo, A. C. V. de, Pasareanu, C. S., & Hanazumi , S. (2016). Towards MC/DC coverage of properties specification patterns. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-46750-4_10 -
NLM
Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10 -
Vancouver
Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10 - Bayesian networks in software maintenance management
- Reusing hardware components with single-state processes
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Testing the adherence of enterprise web applications to transactional patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- A classification of test purposes based on testable properties
- 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
Informações sobre o DOI: 10.1007/978-3-319-46750-4_10 (Fonte: oaDOI API)
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas