Kalpa Publications

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-2024 easychair.org. All rights reserved.