Mixing type checking and symbolic execution

TitleMixing type checking and symbolic execution
Publication TypeConference Papers
Year of Publication2010
AuthorsKhoo YP, Chang BYE, Foster JS
Conference NameACM SIGPLAN Notices
Date Published2010///