Towards MC/DC coverage of properties specification patterns (2016)
Source: Proceedings. Conference titles: International Colloquium on Theoretical Aspects of Computing - ICTAC. Unidade: IME
Subjects: DESENVOLVIMENTO DE SOFTWARE, TEORIA DA COMPUTAÇÃO
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: 17 set. 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_10NLM
Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10Vancouver
Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10