Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is Java Virtual Machine  [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.