Automatic Mutation Test Case Generation via Dynamic Symbolic Execution

Mike Papadakis, Nicos Malevris. Automatic Mutation Test Case Generation via Dynamic Symbolic Execution. In IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010. pages 121-130, IEEE Computer Society, 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.