Follow
Donato Clun
Donato Clun
Imperial College London
Verified email at imperial.ac.uk
Title
Cited by
Cited by
Year
Advances in symbolic execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
232019
Towards executing dynamically updating finite-state controllers on a robot system
VP La Manna, J Greenyer, D Clun, C Ghezzi
2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering …, 2015
42015
Improving Symbolic Automata Learning with Concolic Execution.
D Clun, P van Heerden, A Filieri, W Visser
FASE, 3-26, 2020
12020
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
D Clun, D Shin, A Filieri, D Bianculli
ACM Transactions on Software Engineering and Methodology, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–4