Efficient observability-based test generation by dynamic symbolic execution
| Title | Efficient observability-based test generation by dynamic symbolic execution |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay |
| Conference Name | 26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015 |
| Keywords | 1035715 |
| DOI | 10.1109/ISSRE.2015.7381816 |
| Citation Key | YouRWHG15 |