HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Christian Martin

Publications
Generating Mutation Tests Using an Equivalence Prover
Christian Martin
EasyChair Preprint 8629

Keyphrases

Equivalence Prover, mutation testing, test case generation.

Copyright © 2012-2025 easychair.org. All rights reserved.