Carol Cohen
External collaborator
Publications
Simula-affiliated publications listed
2013
Proceedings, refereed
Read Improving Search-Based Test Suite Generation With Dynamic Symbolic Execution
J. P. Galeotti, G. Fraser and A. Arcuri
Improving Search-Based Test Suite Generation With Dynamic Symbolic Execution
IEEE International Symposium on Software Reliability Engineering