Runtime Exception Detection in Java Programs Using Symbolic Execution

TitleRuntime Exception Detection in Java Programs Using Symbolic Execution
Publication TypeConference Paper
Year of Publication2013
AuthorsKádár I, Hegedűs P, Ferenc R
EditorKiss Á
Conference NameProceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13
Pagination215–229
PublisherUniversity of Szeged
Conference LocationSzeged
Page last modified: October 17, 2014