Login / Signup
Donato Clun
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 4
Top Topics
Symbolic Execution
Connectionist Systems
Robotic Agents
Context Dependent
Top Venues
CoRR
MiSE@ICSE
ACM Trans. Softw. Eng. Methodol.
Adv. Comput.
</>
Publications
</>
Donato Clun
,
Donghwan Shin
,
Antonio Filieri
,
Domenico Bianculli
Rigorous Assessment of Model Inference Accuracy using Language Cardinality.
ACM Trans. Softw. Eng. Methodol.
33 (4) (2024)
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)