Publications

Found 1 results
Author Keyword Title [ Type(Desc)] Year
Filters: First Letter Of Title is R and Author is Péter Hegedüs  [Clear All Filters]
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.