Gheyi, Rohit
Ribeiro, Márcio http://orcid.org/0000-0002-4293-4261
Souza, Beatriz
Guimarães, Marcio
Fernandes, Leo http://orcid.org/0000-0001-9090-2232
d’Amorim, Marcelo
Alves, Vander
Teixeira, Leopoldo
Fonseca, Baldoino http://orcid.org/0000-0002-0730-0319
Funding for this research was provided by:
Fundação de Amparo à Pesquisa do Estado de Alagoas
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco
This article is maintained by: Elsevier
Article Title: Identifying method-level mutation subsumption relations using Z3
Journal Title: Information and Software Technology
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.infsof.2020.106496
Content Type: article
Copyright: © 2020 Elsevier B.V. All rights reserved.