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
PublisherUniversity of Szeged
Conference LocationSzeged