Login / Signup
Ondrej Vasícek
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 3
Top Topics
Symbolic Execution
Location Aware
Dynamic Analysis
Web Services
Top Venues
ISSTA
ESEC/SIGSOFT FSE
EUROCAST
</>
Publications
</>
Jan Fiedor
,
Bohuslav Krena
,
Ales Smrcka
,
Ondrej Vasícek
,
Tomás Vojnar
Integrating OSLC Services into Eclipse.
EUROCAST
(2022)
Ondrej Vasícek
,
Jan Fiedor
,
Tomas Kratochvila
,
Bohuslav Krena
,
Ales Smrcka
,
Tomás Vojnar
Unite: an adapter for transforming analysis tools to web services via OSLC.
ESEC/SIGSOFT FSE
(2022)
Jan Fiedor
,
Monika Muzikovská
,
Ales Smrcka
,
Ondrej Vasícek
,
Tomás Vojnar
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs.
ISSTA
(2018)