Publications

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is rule checking  [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.