Search results for "PapadakisM10a", found 1 papers, 1 pages
1 | Mike 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}
} |