Automatic Mutation Test Case Generation via Dynamic Symbolic Execution.

Mike Papadakis, Nicos Malevris

Browse the full ISSRE paper archive.