Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. - Valerio Panzica La Manna; Joel Greenyer; Donato Clun; Carlo Ghezzi (MiSE@ICSE, 2015)

Chapter Five - Advances in Symbolic Execution. - Guowei Yang 001; Antonio Filieri; Mateus Borges; Donato Clun; Junye Wen (Adv. Comput., 2019)

Improving Symbolic Automata Learning with Concolic Execution. - Donato Clun; Phillip van Heerden; Antonio Filieri; Willem Visser (FASE, 2020)

Rigorous Assessment of Model Inference Accuracy using Language Cardinality. - Donato Clun; Donghwan Shin 001; Antonio Filieri; Domenico Bianculli (ACM Trans. Softw. Eng. Methodol., 2024)