Sign in
Donato Clun
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 4
Top Topics
Robotic Cell
Rough Terrain
Symbolic Execution
Associative Learning
Top Venues
MiSE@ICSE
CoRR
Adv. Comput.
FASE
</>
Publications
</>
Donato Clun
,
Donghwan Shin
,
Antonio Filieri
,
Domenico Bianculli
Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
CoRR
(2022)
Donato Clun
,
Phillip van Heerden
,
Antonio Filieri
,
Willem Visser
Improving Symbolic Automata Learning with Concolic Execution.
FASE
(2020)
Guowei Yang
,
Antonio Filieri
,
Mateus Borges
,
Donato Clun
,
Junye Wen
Chapter Five - Advances in Symbolic Execution.
Adv. Comput.
113 (2019)
Valerio Panzica La Manna
,
Joel Greenyer
,
Donato Clun
,
Carlo Ghezzi
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System.
MiSE@ICSE
(2015)