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]
Abstract is missing.