Claudio Corrodi
Claudio Corrodi
Verified email at
TitleCited byYear
Exception evolution in long-lived Java systems
H Osman, A Chis, C Corrodi, M Ghafari, O Nierstrasz
2017 IEEE/ACM 14th International Conference on Mining Software Repositories …, 2017
A graph-based semantics workbench for concurrent asynchronous programs
C Corrodi, A Heußner, CM Poskitt
International Conference on Fundamental Approaches to Software Engineering …, 2016
Towards practical graph-based verification for an object-oriented concurrency model
A Heußner, CM Poskitt, C Corrodi, B Morandi
arXiv preprint arXiv:1504.02611, 2015
Idea: Benchmarking Android Data Leak Detection Tools
C Corrodi, T Spring, M Ghafari, O Nierstrasz
International Symposium on Engineering Secure Software and Systems, 116-123, 2018
Towards Efficient Object-Centric Debugging with Declarative Breakpoints
C Corrodi
9th Seminar on Advanced Techniques & Tools for Software Evolution (SATToSE …, 2016
Benchmarking Android Data Leak Detection Tools
T Spring, O Nierstrasz, C Corrodi
Visualising Objects in Pharo
EM Quiros, ZH Zürich, O Nierstrasz, C Corrodi
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
C Corrodi, A Heußner, CM Poskitt
Formal Aspects of Computing 30 (1), 163-192, 2018
Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE
C Corrodi
ETH Zürich, 2015
The system can't perform the operation now. Try again later.
Articles 1–9