Rohit Gheyi, Márcio Ribeiro 0001, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca. Identifying method-level mutation subsumption relations using Z3. Information \& Software Technology, 132:106496, 2021. [doi]
@article{GheyiRSGFdATF21,
title = {Identifying method-level mutation subsumption relations using Z3},
author = {Rohit Gheyi and Márcio Ribeiro 0001 and Beatriz Souza and Marcio Augusto Guimarães and Leo Fernandes and Marcelo d'Amorim and Vander Alves and Leopoldo Teixeira and Baldoino Fonseca},
year = {2021},
doi = {10.1016/j.infsof.2020.106496},
url = {https://doi.org/10.1016/j.infsof.2020.106496},
researchr = {https://researchr.org/publication/GheyiRSGFdATF21},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {132},
pages = {106496},
}