Mixing type checking and symbolic execution
| Title | Mixing type checking and symbolic execution |
| Publication Type | Conference Papers |
| Year of Publication | 2010 |
| Authors | Khoo YP, Chang BYE, Foster JS |
| Conference Name | ACM SIGPLAN Notices |
| Date Published | 2010/// |