Towards MC/DC coverage of properties specification patterns
Ana Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)
Proceedings Cham: Springer, 2016Cham Springer 2016
Localização: IME - Inst. Matemática e Estatística (PROD-2872237 )(Acessar)