Donato Clun

According to our database, Donato Clun authored at least 4 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Rigorous Assessment of Model Inference Accuracy using Language Cardinality.

Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli

CoRR, 2022

2020

Improving Symbolic Automata Learning with Concolic Execution.

Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Chapter Five - Advances in Symbolic Execution.

Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen

Adv. Comput., 2019

2015

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System.

Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015