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.

MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests

Michael Baer, Norbert Oster, Michael Philippsen. MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests. In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020. pages 294-303, IEEE, 2020. [doi]

Authors

Michael Baer

This author has not been identified. Look up 'Michael Baer' in Google

Norbert Oster

This author has not been identified. Look up 'Norbert Oster' in Google

Michael Philippsen

This author has not been identified. Look up 'Michael Philippsen' in Google
runs on