Márcio Niemeyer Martins de Queiroz Guimarães

Universidade Federal de Alagoas

5H指数

14论文数

119被引数

收录论文 1

发表时间

Identifying method-level mutation subsumption relations using Z3

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2021-04-01

PREAI

Gheyi, Rohit; Ribeiro, Marcio; Souza, Beatriz; Guimaraes, Marcio; Fernandes, Leo; d'Amorim, Marcelo; Alves, Vander; Teixeira, Leopoldo; Fonseca, Baldoino

研究方向