Identifying method-level mutation subsumption relations using Z3
| Autor: | Gheyi, Rohit, Ribeiro, Márcio, Souza, Beatriz, Guimarães, Marcio, Fernandes, Leo, d’Amorim, Marcelo, Alves, Vander, Teixeira, Leopoldo, Fonseca, Baldoino |
|---|---|
| Zdroj: | In Information and Software Technology April 2021 132 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect