External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Identifying method-level mutation subsumption relations using Z3

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]

Authors

Rohit Gheyi

This author has not been identified. Look up 'Rohit Gheyi' in Google

Márcio Ribeiro 0001

This author has not been identified. Look up 'Márcio Ribeiro 0001' in Google

Beatriz Souza

This author has not been identified. Look up 'Beatriz Souza' in Google

Marcio Augusto Guimarães

This author has not been identified. Look up 'Marcio Augusto Guimarães' in Google

Leo Fernandes

This author has not been identified. Look up 'Leo Fernandes' in Google

Marcelo d'Amorim

This author has not been identified. Look up 'Marcelo d'Amorim' in Google

Vander Alves

This author has not been identified. Look up 'Vander Alves' in Google

Leopoldo Teixeira

This author has not been identified. It may be one of the following persons: Look up 'Leopoldo Teixeira' in Google

Baldoino Fonseca

This author has not been identified. Look up 'Baldoino Fonseca' in Google
runs on