Mutation Testing Publications

Search results for "PapadakisM10a", found 1 papers, 1 pages

1Mike Papadakis and Nicos Malevris
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
{IEEE} 21st International Symposium on Software Reliability Engineering, {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010, 2010.
BibTeX | Abstract | PDF | DOI
Abstract:

Available soon...

@INPROCEEDINGS{PapadakisM10a, author = {Mike Papadakis and Nicos Malevris}, title = {Automatic Mutation Test Case Generation via Dynamic Symbolic Execution}, booktitle = {{IEEE} 21st International Symposium on Software Reliability Engineering, {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010}, year = {2010}, address = {}, month = {}, pages = {121--130} }