Runtime Exception Detection in Java Programs Using Symbolic Execution

TitleRuntime Exception Detection in Java Programs Using Symbolic Execution
Publication TypeJournal Article
Year of Publication2014
AuthorsKádár I, Hegedüs P, Ferenc R
JournalActa Cybernetica
Volume21
Pagination331–352
Software Engineering