Publications

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is R and Author is Kádár, István  [Clear All Filters]
Conference Paper
Kádár I, Hegedűs P, Ferenc R.  2013.  Runtime Exception Detection in Java Programs Using Symbolic Execution. Proceedings of the 13th Symposium on Programming Languages and Software Tools (SPLST 2013). :215–229.
Journal Article
Kádár I, Hegedűs P, Ferenc R.  2014.  Runtime Exception Detection in Java Programs Using Symbolic Execution. Acta Cybernetica. 21:331–352.