Skip to main content
Department of Software Engineering
Institute of Informatics, University of Szeged
RGAI
Search form
Search
Toggle navigation
Home
Research & Development
Trainings
Conferences
Publications
People
EU Projects
Partners
Groups
Inclouded
IoLT - Internet of Living Things
IoT Cloud
Jobs
COVID-19
Pince Akadémia
Publications
Export 1 results:
BibTeX
Author
[
Title
]
Type
Year
Filters:
Author
is
István Kádár
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
R
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'13. :215–229.
Google Scholar
BibTeX